Shortcuts
SISSA Library . Default .
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach MATHEMATICAL LOGIC AND FOUNDATIONS ergibt 451 Einträge

Suchergebnisseite: .   1 NNN 2 . NNN 3 . NNN 4 . NNN 5 . NNN 6 . NNN 7 . NNN 8 . NNN 9 . NNN 10 .   . Top Nächster >> .   . Seite: 1 von 10
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr Thumbnail Titel Verfasser Jahr Kennz Exemplarinformation
1 Abduction and Induction: Essays on their Relation and Integration / Abduction and Induction: Essays on their Relation and Integration / [Ebook]
Reihe:Applied Logic Series,Band:18
 		  2000 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
2 Adaptive and Learning Systems: Theory and Applications / Adaptive and Learning Systems: Theory and Applications / [Ebook]   1986 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
3 Advances in Computational Intelligence and Learning: Methods and Applications Advances in Computational Intelligence and Learning: Methods and Applications [Ebook]
Reihe:International Series in Intelligent Technologies,Band:18
 		  2002 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
4 Advances in Fuzzy Sets, Possibility Theory, and Applications Advances in Fuzzy Sets, Possibility Theory, and Applications [Ebook]   1983 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
5 Advances in Intensional Logic Advances in Intensional Logic [Ebook]
Reihe:Applied Logic Series,Band:7
 		  1997 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Springer Proceedings in Mathematics & Statistics,Band:369
 		  2021 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
7 Advances in Proof Theory Advances in Proof Theory [Ebook]
Reihe:Progress in computer science and applied logicBand:28
 		  2016 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
8 Advances in Proof-Theoretic Semantics Advances in Proof-Theoretic Semantics [Ebook]
Reihe:Trends in Logic, Studia Logica Library,Band:43
 		  2016 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
9 Advances in Temporal Logic Advances in Temporal Logic [Ebook]
Reihe:Applied Logic Series,Band:16
 		  2000 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
10 Algorithmic Problems in Groups and Semigroups Algorithmic Problems in Groups and Semigroups [Ebook]
Reihe:Trends in Mathematics
 		  2000 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
11 A.P. Morse’s Set Theory and Analysis A.P. Morse’s Set Theory and Analysis [Ebook]   2022 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:International Series in Intelligent Technologies,Band:1
 		  1994 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
13 Automated Deduction — A Basis for Applications: Volume III Applications / Automated Deduction — A Basis for Applications: Volume III Applications / [Ebook]
Reihe:Applied Logic Series,Band:10
 		  1998 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Applied Logic Series,Band:9
 		  1998 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
15 Axiomatic Thinking I Axiomatic Thinking I [Ebook]   2022 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
16 Axiomatic Thinking II Axiomatic Thinking II [Ebook]   2022 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:839
 		  1981 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:1019
 		  1983 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:1333
 		  1988 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:337
 		  1973 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
21 Categorical Topology: Proceedings of the L’Aquila Conference (1994) / Categorical Topology: Proceedings of the L’Aquila Conference (1994) / [Ebook]   1996 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:962
 		  1982 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:1488
 		  1991 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
24 Classic Papers in Combinatorics Classic Papers in Combinatorics [Ebook]
Reihe:Modern Birkhäuser classics
 		  2009 Ebook URL Exists Catalogue Record Regalstandort: 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” / [Ebook]
Reihe:Trends in Logic ;Band:23
 		  2004 Ebook URL Exists Catalogue Record Regalstandort: 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:1292
 		  1987 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
27 Code Recognition and Set Selection with Neural Networks Code Recognition and Set Selection with Neural Networks [Ebook]
Reihe:Mathematical Modeling ;Band:7
 		  1991 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
28 Combinatorial Algorithms on Words Combinatorial Algorithms on Words [Ebook]
Reihe:NATO ASI Series, Series F: Computer and Systems Sciences ;Band:12
 		  1985 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
29 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:1104
 		  1984 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
30 Consensus Under Fuzziness Consensus Under Fuzziness [Ebook]
Reihe:International Series in Intelligent Technologies,Band:10
 		  1997 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
31 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 / [Ebook]
Reihe:Lecture Notes in Mathematics,Band:873
 		  1981 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
32 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 / [Ebook]
Reihe:Trends in the History of Science,
 		  2016 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
33 Dependence Logic: Theory and Applications / Dependence Logic: Theory and Applications / [Ebook]   2016 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
34 Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / [Ebook]
Reihe:Lecture Notes in Morphogenesis,
 		  2023 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
35 Eighteen Essays in Non-Euclidean Geometry Eighteen Essays in Non-Euclidean Geometry [Ebook]
Reihe:IRMA Lectures in Mathematics and Theoretical Physics (IRMA) ;Band:29
 		  2019 Ebook URL Exists Catalogue Record Regalstandort: Online Resource: EMS.
36 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 / [Ebook]
Reihe:Studies in Universal Logic,
 		  2022 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
37 Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013 Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013 [Ebook]
Reihe:Springer Proceedings in Mathematics & StatisticsBand:125
 		  2015 Ebook URL Exists Catalogue Record Regalstandort: Online resouce : Springer.
38 Formal Aspects of Context Formal Aspects of Context [Ebook]
Reihe:Applied Logic Series,Band:20
 		  2000 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
39 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 / [Ebook]   1969 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
40 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 / [Ebook]
Reihe:Theoretical Computer Science and General Issues ;Band:12077
 		  2020 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
41 Fundamentals of Fuzzy Sets Fundamentals of Fuzzy Sets [Ebook]
Reihe:The Handbooks of Fuzzy Sets Series,Band:7
 		  2000 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
42 Fuzzy Algorithms for Control Fuzzy Algorithms for Control [Ebook]
Reihe:International Series in Intelligent Technologies,Band:14
 		  1999 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
43 Fuzzy Evolutionary Computation Fuzzy Evolutionary Computation [Ebook]   1997 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
44 Fuzzy Hardware: Architectures and Applications / Fuzzy Hardware: Architectures and Applications / [Ebook]   1998 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
45 Fuzzy Logic and Intelligent Systems Fuzzy Logic and Intelligent Systems [Ebook]
Reihe:International Series in Intelligent Technologies,Band:3
 		  1995 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
46 Fuzzy Logic Foundations and Industrial Applications Fuzzy Logic Foundations and Industrial Applications [Ebook]
Reihe:International Series in Intelligent Technologies,Band:8
 		  1996 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
47 Fuzzy Modelling: Paradigms and Practice / Fuzzy Modelling: Paradigms and Practice / [Ebook]
Reihe:International Series in Intelligent Technologies,Band:7
 		  1996 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
48 Fuzzy Set Theory and Advanced Mathematical Applications Fuzzy Set Theory and Advanced Mathematical Applications [Ebook]
Reihe:International Series in Intelligent Technologies,Band:4
 		  1995 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
49 Fuzzy Sets in Approximate Reasoning and Information Systems Fuzzy Sets in Approximate Reasoning and Information Systems [Ebook]
Reihe:The Handbooks of Fuzzy Sets Series,Band:5
 		  1999 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
50 Fuzzy Sets in Decision Analysis, Operations Research and Statistics Fuzzy Sets in Decision Analysis, Operations Research and Statistics [Ebook]
Reihe:The Handbooks of Fuzzy Sets Series,Band:1
 		  1998 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
Suchergebnisseite: .   1 NNN 2 . NNN 3 . NNN 4 . NNN 5 . NNN 6 . NNN 7 . NNN 8 . NNN 9 . NNN 10 .   . Bottom Nächster >> .   . Seite: 1 von 10
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien

Schnellsuche