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