Title: Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / Edition 1, Author: Franz Baader
Title: Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings / Edition 1, Author: Manuel Kauers
Title: Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / Edition 1, Author: Maria Luisa Dalla Chiara
Title: Rudolf Carnap, Logical Empiricist: Materials and Perspectives / Edition 1, Author: Jaakko Hintikka
Title: Applied Dimensional Analysis and Modeling / Edition 2, Author: Thomas Szirtes Ph.D
Title: Neuro-Fuzzy Associative Machinery for Comprehensive Brain and Cognition Modelling / Edition 1, Author: Vladimir G. Ivancevic
Title: An Introduction to Fuzzy Logic for Practical Applications / Edition 1, Author: Kazuo Tanaka
Title: Cut Elimination in Categories / Edition 1, Author: K. Dosen
Title: Computational Intelligence: Engineering of Hybrid Systems / Edition 1, Author: Mircea Gh. Negoita
Title: Computational Logic and Proof Theory: 5th Kurt G�del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / Edition 1, Author: Georg Gottlob
Title: Quantum Mechanics and the Philosophy of Alfred North Whitehead / Edition 1, Author: Michael Epperson
Title: Logical Investigations Volume 1 / Edition 1, Author: Edmund Husserl
Title: Logic for Concurrency and Synchronisation / Edition 1, Author: R.J. De Queiroz
Title: Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory, Author: Peter M. Schuster
Title: Antoine Arnauld and Pierre Nicole: Logic or the Art of Thinking / Edition 5, Author: Antoine Arnauld
Title: In the Light of Logic, Author: Solomon Feferman
Title: Logic, Induction and Sets / Edition 1, Author: Thomas Forster
Title: Fuzzy Systems for Information Processing / Edition 1, Author: K. Asai
Title: Reflections on Reasoning / Edition 1, Author: Raymond S. Nickerson
Title: Referential Opacity and Modal Logic / Edition 1, Author: Dagfinn Follesdal

Pagination Links