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.
|