1 |
![Abduction and Induction: Essays on their Relation and Integration / Abduction and Induction: Essays on their Relation and Integration /](Cover.cls?type=cover&isbn=9789401706063&size=100) |
Abduction and Induction: Essays on their Relation and Integration / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
2 |
![Adaptive and Learning Systems: Theory and Applications / Adaptive and Learning Systems: Theory and Applications /](Cover.cls?type=cover&isbn=9781475718959&size=100) |
Adaptive and Learning Systems: Theory and Applications / [Ebook]
|
|
1986 |
|
Shelf Location: Online resource: Springer.
|
3 |
![Advances in Computational Intelligence and Learning: Methods and Applications Advances in Computational Intelligence and Learning: Methods and Applications](Cover.cls?type=cover&isbn=9789401003247&size=100) |
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 Advances in Fuzzy Sets, Possibility Theory, and Applications](Cover.cls?type=cover&isbn=9781461337546&size=100) |
Advances in Fuzzy Sets, Possibility Theory, and Applications [Ebook]
|
|
1983 |
|
Shelf Location: Online resource: Springer.
|
5 |
![Advances in Intensional Logic Advances in Intensional Logic](Cover.cls?type=cover&isbn=9789401588799&size=100) |
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 / Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /](Cover.cls?type=cover&isbn=9789811641732&size=100) |
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 Advances in Proof Theory](Cover.cls?type=cover&isbn=9783319291987&size=100) |
Advances in Proof Theory [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
8 |
![Advances in Proof-Theoretic Semantics Advances in Proof-Theoretic Semantics](Cover.cls?type=cover&isbn=9783319226866&size=100) |
Advances in Proof-Theoretic Semantics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
9 |
![Advances in Temporal Logic Advances in Temporal Logic](Cover.cls?type=cover&isbn=9789401595865&size=100) |
Advances in Temporal Logic [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
10 |
![Algorithmic Problems in Groups and Semigroups Algorithmic Problems in Groups and Semigroups](Cover.cls?type=cover&isbn=9781461213888&size=100) |
Algorithmic Problems in Groups and Semigroups [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
11 |
![A.P. Morse’s Set Theory and Analysis A.P. Morse’s Set Theory and Analysis](Cover.cls?type=cover&isbn=9783031053559&size=100) |
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 / Applied Research in Fuzzy Technology: Three years of research at the Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan /](Cover.cls?type=cover&isbn=9781461527701&size=100) |
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 / Automated Deduction — A Basis for Applications: Volume III Applications /](Cover.cls?type=cover&isbn=9789401704373&size=100) |
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 / Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques /](Cover.cls?type=cover&isbn=9789401704359&size=100) |
Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
15 |
![Axiomatic Thinking I Axiomatic Thinking I](Cover.cls?type=cover&isbn=9783030776572&size=100) |
Axiomatic Thinking I [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
16 |
![Axiomatic Thinking II Axiomatic Thinking II](Cover.cls?type=cover&isbn=9783030777999&size=100) |
Axiomatic Thinking II [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
17 |
![Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 /](Cover.cls?type=cover&isbn=9783540384229&size=100) |
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 / Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81 /](Cover.cls?type=cover&isbn=9783540386803&size=100) |
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 / Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85 /](Cover.cls?type=cover&isbn=9783540458968&size=100) |
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 / Cambridge Summer School in Mathematical Logic: Held in Cambridge/England, August 1–21, 1971 /](Cover.cls?type=cover&isbn=9783540368847&size=100) |
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) / Categorical Topology: Proceedings of the L’Aquila Conference (1994) /](Cover.cls?type=cover&isbn=9789400902633&size=100) |
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 / Category Theory: Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 /](Cover.cls?type=cover&isbn=9783540395508&size=100) |
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 / Category Theory: Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 /](Cover.cls?type=cover&isbn=9783540464358&size=100) |
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 Classic Papers in Combinatorics](Cover.cls?type=cover&isbn=9780817648428&size=100) |
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” / Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” /](Cover.cls?type=cover&isbn=9781402027765&size=100) |
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 / Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 /](Cover.cls?type=cover&isbn=9783540480495&size=100) |
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 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](Cover.cls?type=cover&isbn=9783030572013&size=100) |
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 Code Recognition and Set Selection with Neural Networks](Cover.cls?type=cover&isbn=9781461232162&size=100) |
Code Recognition and Set Selection with Neural Networks [Ebook]
|
|
1991 |
|
Shelf Location: Online resource: Springer.
|
29 |
![Combinatorial Algorithms on Words Combinatorial Algorithms on Words](Cover.cls?type=cover&isbn=9783642824562&size=100) |
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 / Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II /](Cover.cls?type=cover&isbn=9783540391197&size=100) |
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 Consensus Under Fuzziness](Cover.cls?type=cover&isbn=9781461563334&size=100) |
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 / Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 /](Cover.cls?type=cover&isbn=9783540387596&size=100) |
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 / Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 /](Cover.cls?type=cover&isbn=9783319315027&size=100) |
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 / Dependence Logic: Theory and Applications /](Cover.cls?type=cover&isbn=9783319318035&size=100) |
Dependence Logic: Theory and Applications / [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
35 |
![Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / Diagrams and Gestures: Mathematics, Philosophy, and Linguistics /](Cover.cls?type=cover&isbn=9783031291111&size=100) |
Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / [Ebook]
|
|
2023 |
|
Shelf Location: Online resource: Springer.
|
36 |
![Eighteen Essays in Non-Euclidean Geometry Eighteen Essays in Non-Euclidean Geometry](Cover.cls?type=cover&isbn=9783037196960&size=100) |
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 / The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition /](Cover.cls?type=cover&isbn=9783030908232&size=100) |
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 Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013](Cover.cls?type=cover&isbn=9788132223016&size=100) |
Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013 [Ebook]
|
|
2015 |
|
Shelf Location: Online resouce : Springer.
|
39 |
![Formal Aspects of Context Formal Aspects of Context](Cover.cls?type=cover&isbn=9789401593977&size=100) |
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 / Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel /](Cover.cls?type=cover&isbn=9783642867453&size=100) |
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 / 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 /](Cover.cls?type=cover&isbn=9783030452315&size=100) |
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 Fundamentals of Fuzzy Sets](Cover.cls?type=cover&isbn=9781461544296&size=100) |
Fundamentals of Fuzzy Sets [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
43 |
![Fuzzy Algorithms for Control Fuzzy Algorithms for Control](Cover.cls?type=cover&isbn=9789401144056&size=100) |
Fuzzy Algorithms for Control [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
44 |
![Fuzzy Evolutionary Computation Fuzzy Evolutionary Computation](Cover.cls?type=cover&isbn=9781461561354&size=100) |
Fuzzy Evolutionary Computation [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
45 |
![Fuzzy Hardware: Architectures and Applications / Fuzzy Hardware: Architectures and Applications /](Cover.cls?type=cover&isbn=9781461540908&size=100) |
Fuzzy Hardware: Architectures and Applications / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
46 |
![Fuzzy Logic and Intelligent Systems Fuzzy Logic and Intelligent Systems](Cover.cls?type=cover&isbn=9780585280004&size=100) |
Fuzzy Logic and Intelligent Systems [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
47 |
![Fuzzy Logic Foundations and Industrial Applications Fuzzy Logic Foundations and Industrial Applications](Cover.cls?type=cover&isbn=9781461314417&size=100) |
Fuzzy Logic Foundations and Industrial Applications [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
48 |
![Fuzzy Modelling: Paradigms and Practice / Fuzzy Modelling: Paradigms and Practice /](Cover.cls?type=cover&isbn=9781461313656&size=100) |
Fuzzy Modelling: Paradigms and Practice / [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
49 |
![Fuzzy Set Theory and Advanced Mathematical Applications Fuzzy Set Theory and Advanced Mathematical Applications](Cover.cls?type=cover&isbn=9781461523574&size=100) |
Fuzzy Set Theory and Advanced Mathematical Applications [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
50 |
![Fuzzy Sets in Approximate Reasoning and Information Systems Fuzzy Sets in Approximate Reasoning and Information Systems](Cover.cls?type=cover&isbn=9781461552437&size=100) |
Fuzzy Sets in Approximate Reasoning and Information Systems [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|