Buy Used and New Mathematical Logic Books

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642162640

Format: Paperback (347 pages)
Publisher: Springer
Published: 06 Oct 2010

Save for later

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540857792

Format: Paperback (544 pages)
Publisher: Springer
Published: 04 Sep 2008

Save for later

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Computer Science and General Issues)

by

ISBN 13: 9783540749141

Format: Paperback (600 pages)
Publisher: Springer
Published: 30 Aug 2007

Save for later

The Nature of Computation

by Cristopher Moore, Stephan Mertens

ISBN 13: 9780199233212

Format: Hardcover (1032 pages)
Publisher: OUP Oxford
Published: Jun 2011

Save for later

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)

by

ISBN 13: 9783540290414

Format: Paperback (628 pages)
Publisher: Springer
Published: 12 Sep 2005

Save for later

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540687603

Format: Paperback (306 pages)
Publisher: Springer
Published: 14 Dec 2006

Save for later

Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540712305

Format: Paperback (345 pages)
Publisher: Springer
Published: 19 Mar 2007

Save for later

Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540746201

Format: Paperback (283 pages)
Publisher: Springer
Published: 23 Aug 2007

Save for later

Transactions on Computational Systems Biology VIII: v. 8 (Lecture Notes in Computer Science / Transactions on Computational Systems Biology)

by

ISBN 13: 9783540766384

Format: Paperback (110 pages)
Publisher: Springer
Published: 06 Nov 2007

Save for later

AI 2007: Advances in Artificial Intelligence: 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540769262

Format: Paperback (841 pages)
Publisher: Springer
Published: 16 Nov 2007

Save for later

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540876021

Format: Paperback (382 pages)
Publisher: Springer
Published: 08 Sep 2008

Save for later

Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540325291

Format: Paperback (452 pages)
Publisher: Springer
Published: 20 Feb 2006

Save for later