|
1 |
 |
Abduction and Induction: Essays on their Relation and Integration / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
|
2 |
 |
Adaptive and Learning Systems: Theory and Applications / [Ebook]
|
|
1986 |
|
Shelf Location: Online resource: Springer.
|
|
3 |
 |
Advances in Computational Intelligence and Learning: Methods and Applications [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
|
4 |
 |
Advances in Fuzzy Sets, Possibility Theory, and Applications [Ebook]
|
|
1983 |
|
Shelf Location: Online resource: Springer.
|
|
5 |
 |
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
|
6 |
 |
Advances in Proof Theory [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
|
7 |
 |
Advances in Temporal Logic [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
|
8 |
 |
A.P. Morse’s Set Theory and Analysis [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
|
9 |
 |
Applied Research in Fuzzy Technology: Three years of research at the Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan / [Ebook]
|
|
1994 |
|
Shelf Location: Online resource: Springer.
|
|
10 |
 |
Axiomatic Thinking I [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
|
11 |
 |
Axiomatic Thinking II [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
|
12 |
 |
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / [Ebook]
|
|
1981 |
|
Shelf Location: Online resource: Springer.
|
|
13 |
 |
Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81 / [Ebook]
|
|
1983 |
|
Shelf Location: Online resource: Springer.
|
|
14 |
 |
Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85 / [Ebook]
|
|
1988 |
|
Shelf Location: Online resource: Springer.
|
|
15 |
 |
Cambridge Summer School in Mathematical Logic: Held in Cambridge/England, August 1–21, 1971 / [Ebook]
|
|
1973 |
|
Shelf Location: Online resource: Springer.
|
|
16 |
 |
Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 / [Ebook]
|
|
1987 |
|
Shelf Location: Online resource: Springer.
|
|
17 |
 |
Code Recognition and Set Selection with Neural Networks [Ebook]
|
|
1991 |
|
Shelf Location: Online resource: Springer.
|
|
18 |
 |
Combinatorial Algorithms on Words [Ebook]
|
|
1985 |
|
Shelf Location: Online resource: Springer.
|
|
19 |
 |
Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / [Ebook]
|
|
1984 |
|
Shelf Location: Online resource: Springer.
|
|
20 |
 |
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / [Ebook]
|
|
1981 |
|
Shelf Location: Online resource: Springer.
|
|
21 |
 |
Dependence Logic: Theory and Applications / [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
|
22 |
 |
The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition / [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
|
23 |
 |
Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel / [Ebook]
|
|
1969 |
|
Shelf Location: Online resource: Springer.
|
|
24 |
 |
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
|
25 |
 |
Fundamentals of Fuzzy Sets [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
|
26 |
 |
Fuzzy Algorithms for Control [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
|
27 |
 |
Fuzzy Evolutionary Computation [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
|
28 |
 |
Fuzzy Hardware: Architectures and Applications / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
|
29 |
 |
Fuzzy Logic and Intelligent Systems [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
|
30 |
 |
Fuzzy Logic Foundations and Industrial Applications [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
|
31 |
 |
Fuzzy Modelling: Paradigms and Practice / [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
|
32 |
 |
Fuzzy Set Theory and Advanced Mathematical Applications [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
|
33 |
 |
Fuzzy Sets in Approximate Reasoning and Information Systems [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
|
34 |
 |
Fuzzy Sets in Decision Analysis, Operations Research and Statistics [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
|
35 |
 |
Fuzzy Sets in Engineering Design and Configuration [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
|
36 |
 |
Fuzzy Systems: Modeling and Control [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
|
37 |
 |
Gentzen's Centenary: The Quest for Consistency [Ebook]
|
|
2015 |
|
Shelf Location: Online resource: Springer.
|
|
38 |
 |
Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar: Papers from a Sesquicentennial Conference / [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
|
39 |
 |
The Hyperuniverse Project and Maximality [Ebook]
|
|
2018 |
|
Shelf Location: Online resource: Springer.
|
|
40 |
 |
Infinitary Logic: In Memoriam Carol Karp: A Collection of Papers by Various Authors / [Ebook]
|
|
1975 |
|
Shelf Location: Online resource: Springer.
|
|
41 |
 |
Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms / [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
|
42 |
 |
Intelligent Systems and Interfaces [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
|
43 |
 |
⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / [Ebook]
|
|
1975 |
|
Shelf Location: Online resource: Springer.
|
|
44 |
 |
⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / [Ebook]
|
|
1975 |
|
Shelf Location: Online resource: Springer.
|
|
45 |
 |
The Legacy of Kurt Schütte [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
|
46 |
 |
Logic for Concurrency and Synchronisation [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
|
47 |
 |
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989 / [Ebook]
|
|
1992 |
|
Shelf Location: Online resource: Springer.
|
|
48 |
 |
Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / [Ebook]
|
|
1981 |
|
Shelf Location: Online resource: Springer.
|
|
49 |
 |
Logic Year 1979–80: The University of Connecticut, USA / [Ebook]
|
|
1981 |
|
Shelf Location: Online resource: Springer.
|
|
50 |
 |
Logical and Computational Aspects of Model-Based Reasoning [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
