Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540559306
Format: Paperback (324 pages) Publisher: Springer Published: 25 Aug 1992
Save for later
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540671909
Format: Paperback (299 pages) Publisher: Springer Published: 09 Feb 2000
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
Theory of Recursive Functions and Effective Computability
by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi
ISBN 13: 9780262680523
Format: Paperback (504 pages) Publisher: MIT Press Published: 01 Jan 1987
Naive Set Theory (Undergraduate Texts in Mathematics)
by P. R. Halmos
ISBN 13: 9780387900926
Format: Hardcover (111 pages) Publisher: Springer Published: 24 Oct 1974
Mathematical Logic (Undergraduate Texts in Mathematics)
by H.-D. Ebbinghaus,J. Flum,W. Thomas
ISBN 13: 9780387942582
Format: Illustrated (308 pages) Publisher: Springer Published: 01 Dec 1996
Logic from Russell to Church: 5 (Handbook of the History of Logic)
by Gabbay
ISBN 13: 9780444516206
Format: Hardcover (950 pages) Publisher: North Holland Published: 17 Jun 2009
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
by Torkel Franzén
ISBN 13: 9781568812380
Format: Paperback (182 pages) Publisher: Routledge Published: 06 Jun 2005
Referential Opacity and Modal Logic (Studies in Philosophy)
by N/A
ISBN 13: 9780415998444
Format: Paperback (200 pages) Publisher: Routledge Published: 07 Dec 2009