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 Intensional Logic [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
6 |
|
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.
|
7 |
|
Advances in Proof Theory [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
8 |
|
Advances in Proof-Theoretic Semantics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
9 |
|
Advances in Temporal Logic [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
10 |
|
Algorithmic Problems in Groups and Semigroups [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
11 |
|
A.P. Morse’s Set Theory and Analysis [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
12 |
|
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.
|
13 |
|
Automated Deduction — A Basis for Applications: Volume III Applications / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
14 |
|
Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
15 |
|
Axiomatic Thinking I [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
16 |
|
Axiomatic Thinking II [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
17 |
|
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / [Ebook]
|
|
1981 |
|
Shelf Location: Online resource: Springer.
|
18 |
|
Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81 / [Ebook]
|
|
1983 |
|
Shelf Location: Online resource: Springer.
|
19 |
|
Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85 / [Ebook]
|
|
1988 |
|
Shelf Location: Online resource: Springer.
|
20 |
|
Cambridge Summer School in Mathematical Logic: Held in Cambridge/England, August 1–21, 1971 / [Ebook]
|
|
1973 |
|
Shelf Location: Online resource: Springer.
|
21 |
|
Categorical Topology: Proceedings of the L’Aquila Conference (1994) / [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
22 |
|
Category Theory: Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 / [Ebook]
|
|
1982 |
|
Shelf Location: Online resource: Springer.
|
23 |
|
Category Theory: Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / [Ebook]
|
|
1991 |
|
Shelf Location: Online resource: Springer.
|
24 |
|
Classic Papers in Combinatorics [Ebook]
|
|
2009 |
|
Shelf Location: Online resource: Birkhäuser.
|
25 |
|
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” / [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
26 |
|
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.
|
27 |
|
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
28 |
|
Code Recognition and Set Selection with Neural Networks [Ebook]
|
|
1991 |
|
Shelf Location: Online resource: Springer.
|
29 |
|
Combinatorial Algorithms on Words [Ebook]
|
|
1985 |
|
Shelf Location: Online resource: Springer.
|
30 |
|
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.
|
31 |
|
Consensus Under Fuzziness [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
32 |
|
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.
|
33 |
|
Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 / [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
34 |
|
Dependence Logic: Theory and Applications / [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
35 |
|
Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / [Ebook]
|
|
2023 |
|
Shelf Location: Online resource: Springer.
|
36 |
|
Eighteen Essays in Non-Euclidean Geometry [Ebook]
|
|
2019 |
|
Shelf Location: Online Resource: EMS.
|
37 |
|
The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition / [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
38 |
|
Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013 [Ebook]
|
|
2015 |
|
Shelf Location: Online resouce : Springer.
|
39 |
|
Formal Aspects of Context [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
40 |
|
Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel / [Ebook]
|
|
1969 |
|
Shelf Location: Online resource: Springer.
|
41 |
|
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.
|
42 |
|
Fundamentals of Fuzzy Sets [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
43 |
|
Fuzzy Algorithms for Control [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
44 |
|
Fuzzy Evolutionary Computation [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
45 |
|
Fuzzy Hardware: Architectures and Applications / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
46 |
|
Fuzzy Logic and Intelligent Systems [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
47 |
|
Fuzzy Logic Foundations and Industrial Applications [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
48 |
|
Fuzzy Modelling: Paradigms and Practice / [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
49 |
|
Fuzzy Set Theory and Advanced Mathematical Applications [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
50 |
|
Fuzzy Sets in Approximate Reasoning and Information Systems [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|