Title: Nonmonotonic Logics: Basic Concepts, Results, and Techniques / Edition 1, Author: Karl Schlechta
Title: Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems: IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers / Edition 1, Author: Trevor Martin
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
Title: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / Edition 1, Author: Mark Aagaard
Title: Mathematical Logic / Edition 1, Author: Joseph R. Shoenfield
Title: Recursion Theory: Lecture Notes in Logic 1 / Edition 1, Author: Joseph R. Shoenfield
Title: Proof Theory and Automated Deduction / Edition 1, Author: Jean Goubault-Larrecq
Title: Proof and System-Reliability / Edition 1, Author: Helmut Schwichtenberg
Title: Philosophy of Arithmetic: Psychological and Logical Investigations with Supplementary Texts from 1887-1901 / Edition 1, Author: Edmund Husserl
Title: Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16 / Edition 1, Author: Torkel Franzén
Title: Learning and Modeling with Probabilistic Conditional Logic, Author: J. Fisseler
Title: Applied Logic: How, What and Why: Logical Approaches to Natural Language / Edition 1, Author: László Pólos
Title: Algebraic Foundations of Many-Valued Reasoning / Edition 1, Author: R.L. Cignoli
Title: The Foundational Debate: Complexity and Constructivity in Mathematics and Physics / Edition 1, Author: Werner DePauli-Schimanovich
Title: A Textbook of Belief Dynamics: Theory Change and Database Updating / Edition 1, Author: Sven Ove Hansson
Title: Truth, Proof and Infinity: A Theory of Constructive Reasoning / Edition 1, Author: P. Fletcher
Title: The Pleadings Game: An Artificial Intelligence Model of Procedural Justice / Edition 1, Author: Thomas F. Gordon
Title: The Posing of Questions: Logical Foundations of Erotetic Inferences / Edition 1, Author: A. Wisniewski
Title: Language, Truth and Logic in Mathematics / Edition 1, Author: Jaakko Hintikka
Title: Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Author: J. Christopher Beck

Pagination Links