Buy Used and New Mathematical Logic Books

Theoretische Informatik: Eine Kompakte Einfuhrung: Eine kompakte Einführung (Springer-Lehrbuch)

by Klaus W Wagner

ISBN 13: 9783540013136

Format: Paperback (227 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 11 Aug 2003

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540755586

Format: Paperback (562 pages)
Publisher: Springer
Published: 08 Oct 2007

Save for later

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540731467

Format: Paperback (273 pages)
Publisher: Springer
Published: 22 Jun 2007

Save for later

Formal Concept Analysis: 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540781363

Format: Paperback (325 pages)
Publisher: Springer
Published: 11 Feb 2008

Save for later

Modeling Decisions for Artificial Intelligence: 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings: 5285 ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540882688

Format: Paperback (247 pages)
Publisher: Springer
Published: 07 Oct 2008

Save for later

Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540291725

Format: Paperback (1052 pages)
Publisher: Springer
Published: 30 Sep 2005

Save for later

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead: 21st International Conference, ICCPOL 2006, Singapore, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540496670

Format: Paperback (561 pages)
Publisher: Springer
Published: 27 Nov 2006

Save for later

Annotating, Extracting and Reasoning about Time and Events: International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540759881

Format: Paperback (141 pages)
Publisher: Springer
Published: 07 Nov 2007

Save for later

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540666721

Format: Paperback (287 pages)
Publisher: Springer
Published: 13 Oct 1999

Save for later

Case-Based Reasoning Research and Development: 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540741381

Format: Paperback (534 pages)
Publisher: Springer
Published: 27 Jul 2007

Save for later

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540797180

Format: Paperback (305 pages)
Publisher: Springer
Published: 25 Apr 2008

Save for later

Current Topics in Artificial Intelligence: 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540752707

Format: Paperback (280 pages)
Publisher: Springer
Published: 07 Nov 2007

Save for later