Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540671909
Format: Paperback (299 pages) Publisher: Springer Published: 09 Feb 2000
Save for later
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)
ISBN 13: 9783540278290
Format: Paperback (406 pages) Publisher: Springer Published: 08 Jul 2005
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540280606
Format: Paperback (293 pages) Publisher: Springer Published: 20 Jul 2005
AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540290414
Format: Paperback (628 pages) Publisher: Springer Published: 12 Sep 2005
Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540291725
Format: Paperback (1052 pages) Publisher: Springer Published: 30 Sep 2005
Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))
ISBN 13: 9781904987291
Format: Paperback (300 pages) Publisher: College Publications Published: 05 Dec 2006
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
by Merrie Bergmann
ISBN 13: 9780521881289
Format: Hardcover (342 pages) Publisher: Cambridge University Press Published: 14 Jan 2008 Other Format: Illustrated
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I: Cabal Seminar v. 1 (Lecture Notes in Logic)
by Alexander S. Kechris, Benedikt Löwe, John R. Steel
ISBN 13: 9780521899512
Format: Hardcover (460 pages) Publisher: Cambridge University Press Published: 15 Sep 2008
Sets of Multiples: 118 (Cambridge Tracts in Mathematics, Series Number 118)
by Richard R. Hall
ISBN 13: 9780521404242
Format: Hardcover (284 pages) Publisher: Cambridge University Press Published: 10 Oct 1996
Logic for Applications (Texts in Computer Science)
by Anil Nerode,Richard A. Shore
ISBN 13: 9780387948935
Format: Illustrated (469 pages) Publisher: Springer Published: 01 Feb 1997
Schaum's Outline of Boolean Algebra and Switching Circuits
by Elliott Mendelson
ISBN 13: 9780070414600
Format: Paperback (224 pages) Publisher: McGraw Hill Published: 16 Jan 1970
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)
by Kees Doets,Jan van Eijck
ISBN 13: 9780954300692
Format: Paperback (450 pages) Publisher: College Publications Published: 07 Dec 2012