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 Proof Theory [Ebook]


2016 

Shelf Location: Online resource: Springer.

7 

Advances in ProofTheoretic Semantics [Ebook]


2016 

Shelf Location: Online resource: Springer.

8 

Advances in Temporal Logic [Ebook]


2000 

Shelf Location: Online resource: Springer.

9 

Algorithmic Problems in Groups and Semigroups [Ebook]


2000 

Shelf Location: Online resource: Springer.

10 

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.

11 

Automated Deduction — A Basis for Applications: Volume III Applications / [Ebook]


1998 

Shelf Location: Online resource: Springer.

12 

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / [Ebook]


1998 

Shelf Location: Online resource: Springer.

13 

Cabal Seminar 77 – 79: Proceedings, CaltechUCLA Logic Seminar 1977 – 79 / [Ebook]


1981 

Shelf Location: Online resource: Springer.

14 

Cabal Seminar 79–81: Proceedings, CaltechUCLA Logic Seminar 1979–81 / [Ebook]


1983 

Shelf Location: Online resource: Springer.

15 

Cabal Seminar 81–85: Proceedings, CaltechUCLA Logic Seminar 1981–85 / [Ebook]


1988 

Shelf Location: Online resource: Springer.

16 

Cambridge Summer School in Mathematical Logic: Held in Cambridge/England, August 1–21, 1971 / [Ebook]


1973 

Shelf Location: Online resource: Springer.

17 

Categorical Topology: Proceedings of the L’Aquila Conference (1994) / [Ebook]


1996 

Shelf Location: Online resource: Springer.

18 

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.

19 

Category Theory: Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / [Ebook]


1991 

Shelf Location: Online resource: Springer.

20 

Classic Papers in Combinatorics [Ebook]


2009 

Shelf Location: Online resource: Birkhäuser.

21 

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.

22 

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.

23 

Code Recognition and Set Selection with Neural Networks [Ebook]


1991 

Shelf Location: Online resource: Springer.

24 

Combinatorial Algorithms on Words [Ebook]


1985 

Shelf Location: Online resource: Springer.

25 

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.

26 

Consensus Under Fuzziness [Ebook]


1997 

Shelf Location: Online resource: Springer.

27 

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.

28 

Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 912, 2012 / [Ebook]


2016 

Shelf Location: Online resource: Springer.

29 

Dependence Logic: Theory and Applications / [Ebook]


2016 

Shelf Location: Online resource: Springer.

30 

Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013 [Ebook]


2015 

Shelf Location: Online resouce : Springer.

31 

Formal Aspects of Context [Ebook]


2000 

Shelf Location: Online resource: Springer.

32 

Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel / [Ebook]


1969 

Shelf Location: Online resource: Springer.

33 

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 2530, 2020, Proceedings / [Ebook]


2020 

Shelf Location: Online resource: Springer.

34 

Fundamentals of Fuzzy Sets [Ebook]


2000 

Shelf Location: Online resource: Springer.

35 

Fuzzy Algorithms for Control [Ebook]


1999 

Shelf Location: Online resource: Springer.

36 

Fuzzy Evolutionary Computation [Ebook]


1997 

Shelf Location: Online resource: Springer.

37 

Fuzzy Hardware: Architectures and Applications / [Ebook]


1998 

Shelf Location: Online resource: Springer.

38 

Fuzzy Logic and Intelligent Systems [Ebook]


1995 

Shelf Location: Online resource: Springer.

39 

Fuzzy Logic Foundations and Industrial Applications [Ebook]


1996 

Shelf Location: Online resource: Springer.

40 

Fuzzy Modelling: Paradigms and Practice / [Ebook]


1996 

Shelf Location: Online resource: Springer.

41 

Fuzzy Set Theory and Advanced Mathematical Applications [Ebook]


1995 

Shelf Location: Online resource: Springer.

42 

Fuzzy Sets in Approximate Reasoning and Information Systems [Ebook]


1999 

Shelf Location: Online resource: Springer.

43 

Fuzzy Sets in Decision Analysis, Operations Research and Statistics [Ebook]


1998 

Shelf Location: Online resource: Springer.

44 

Fuzzy Sets in Engineering Design and Configuration [Ebook]


1996 

Shelf Location: Online resource: Springer.

45 

Fuzzy Sets, Logics and Reasoning about Knowledge [Ebook]


1999 

Shelf Location: Online resource: Springer.

46 

General Topology III: Paracompactness, Function Spaces, Descriptive Theory [Ebook]


1995 

Shelf Location: Online resource: Springer.

47 

Gentzen's Centenary: The Quest for Consistency [Ebook]


2015 

Shelf Location: Online resource: Springer.

48 

Handbook of Metric Fixed Point Theory [Ebook]


2001 

Shelf Location: Online resource: Springer.

49 

Handbook of the History and Philosophy of Mathematical Practice [Ebook]


2020 

Shelf Location: Online resource: Springer.

50 

Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar: Papers from a Sesquicentennial Conference / [Ebook]


1996 

Shelf Location: Online resource: Springer.
