Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for 511.3 returned 251 Items

Search Result Page: .   1 NNN 2 . NNN 3 . NNN 4 . NNN 5 . NNN 6 .   . Top Next .   . Page: 1 of 6
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Abduction and Induction: Essays on their Relation and Integration / Abduction and Induction: Essays on their Relation and Integration / [Ebook]
Series:Applied Logic Series,Volume:18
  2000 Ebook URL Exists Catalogue Record Shelf Location: 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 Shelf Location: Online resource: Springer.
3 Advances in Computational Intelligence and Learning: Methods and Applications Advances in Computational Intelligence and Learning: Methods and Applications [Ebook]   2002 Ebook URL Exists Catalogue Record Shelf Location: 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 Shelf Location: Online resource: Springer.
5 Advances in Proof Theory Advances in Proof Theory [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
6 Advances in Temporal Logic Advances in Temporal Logic [Ebook]
Series:Applied Logic Series,Volume:16
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
7 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]   1994 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
8 Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / [Ebook]   1981 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
9 Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81 / Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81 / [Ebook]   1983 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
10 Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85 / Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85 / [Ebook]   1988 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
11 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]   1973 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
12 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]   1987 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
13 Code Recognition and Set Selection with Neural Networks Code Recognition and Set Selection with Neural Networks [Ebook]   1991 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
14 Combinatorial Algorithms on Words Combinatorial Algorithms on Words [Ebook]   1985 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
15 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]   1984 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
16 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]   1981 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
17 Dependence Logic: Theory and Applications / Dependence Logic: Theory and Applications / [Ebook]   2016 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
18 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 Shelf Location: Online resource: Springer.
19 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]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
20 Fundamentals of Fuzzy Sets Fundamentals of Fuzzy Sets [Ebook]   2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
21 Fuzzy Algorithms for Control Fuzzy Algorithms for Control [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
22 Fuzzy Evolutionary Computation Fuzzy Evolutionary Computation [Ebook]   1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
23 Fuzzy Hardware: Architectures and Applications / Fuzzy Hardware: Architectures and Applications / [Ebook]   1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
24 Fuzzy Logic and Intelligent Systems Fuzzy Logic and Intelligent Systems [Ebook]   1995 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
25 Fuzzy Logic Foundations and Industrial Applications Fuzzy Logic Foundations and Industrial Applications [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
26 Fuzzy Modelling: Paradigms and Practice / Fuzzy Modelling: Paradigms and Practice / [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
27 Fuzzy Set Theory and Advanced Mathematical Applications Fuzzy Set Theory and Advanced Mathematical Applications [Ebook]   1995 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
28 Fuzzy Sets in Approximate Reasoning and Information Systems Fuzzy Sets in Approximate Reasoning and Information Systems [Ebook]   1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
29 Fuzzy Sets in Decision Analysis, Operations Research and Statistics Fuzzy Sets in Decision Analysis, Operations Research and Statistics [Ebook]   1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
30 Fuzzy Sets in Engineering Design and Configuration Fuzzy Sets in Engineering Design and Configuration [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
31 Fuzzy Systems: Modeling and Control Fuzzy Systems: Modeling and Control [Ebook]   1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
32 Gentzen's Centenary: The Quest for Consistency Gentzen's Centenary: The Quest for Consistency [Ebook]   2015 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
33 Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar: Papers from a Sesquicentennial Conference / Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar: Papers from a Sesquicentennial Conference / [Ebook]   1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
34 The Hyperuniverse Project and Maximality The Hyperuniverse Project and Maximality [Ebook]   2018 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
35 Infinitary Logic: In Memoriam Carol Karp: A Collection of Papers by Various Authors / Infinitary Logic: In Memoriam Carol Karp: A Collection of Papers by Various Authors / [Ebook]   1975 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
36 Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms / Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms / [Ebook]   1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
37 Intelligent Systems and Interfaces Intelligent Systems and Interfaces [Ebook]   2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
38 ⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / ⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / [Ebook]   1975 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
39 ⊨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 / ⊨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 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
40 The Legacy of Kurt Schütte The Legacy of Kurt Schütte [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
41 Logic for Concurrency and Synchronisation Logic for Concurrency and Synchronisation [Ebook]   2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
42 Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989 / Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989 / [Ebook]   1992 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
43 Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / [Ebook]   1981 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
44 Logic Year 1979–80: The University of Connecticut, USA / Logic Year 1979–80: The University of Connecticut, USA / [Ebook]   1981 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
45 Logical and Computational Aspects of Model-Based Reasoning Logical and Computational Aspects of Model-Based Reasoning [Ebook]
Series:Applied Logic Series,Volume:25
  2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
46 Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings / Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings / [Ebook]   2020 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
47 The Lvov-Warsaw School. Past and Present The Lvov-Warsaw School. Past and Present [Ebook]   2018 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
48 Mathematical Aspects of Scientific Software Mathematical Aspects of Scientific Software [Ebook]   1988 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
49 Mathematical Logic Mathematical Logic [Ebook]   1990 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
50 Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 / Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 / [Ebook]   1989 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.

Your Search for 511.3 returned 251 Items

Search Result Page: .   1 NNN 2 . NNN 3 . NNN 4 . NNN 5 . NNN 6 .   . Bottom Next .   . Page: 1 of 6
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

. E-mail This Page
Quick Search