Buy Used and New Mathematical Logic Books

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang,Richard Char-Tung Lee

ISBN 13: 9780121703509

Format: Illustrated (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540692232

Format: Paperback (383 pages)
Publisher: Springer
Published: 15 Dec 2006

Save for later

Chinese Spoken Language Processing: 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540496656

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

Save for later

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540438656

Format: Paperback (343 pages)
Publisher: Springer
Published: 19 Jun 2002

Save for later

Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540708438

Format: Paperback (289 pages)
Publisher: Springer
Published: 10 Jul 2008

Save for later

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642119989

Format: Paperback (179 pages)
Publisher: Springer
Published: 01 Apr 2010

Save for later

Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540290735

Format: Paperback (349 pages)
Publisher: Springer
Published: 11 Oct 2005

Save for later

Modeling and Using Context: 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540742548

Format: Paperback (574 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings: 5079 (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540691631

Format: Paperback (379 pages)
Publisher: Springer
Published: 01 Jul 2008

Save for later

Decision Theory and Multi-Agent Planning (CISM International Centre for Mechanical Sciences)

by

ISBN 13: 9783211317877

Format: Paperback (198 pages)
Publisher: Springer
Published: 09 Mar 2006

Save for later

Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783540784975

Format: Paperback (505 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers: 5196 ... Computer Science and General Issues)

by

ISBN 13: 9783540882817

Format: Paperback (500 pages)
Publisher: Springer
Published: 08 Oct 2008

Save for later