Buy Used and New Mathematical Logic Books

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540273264

Format: Paperback (1028 pages)
Publisher: Springer
Published: 24 Jun 2005

Save for later

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540752202

Format: Paperback (539 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later

Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540766360

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

Save for later

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Computer Science and General Issues)

by

ISBN 13: 9783540330509

Format: Paperback (290 pages)
Publisher: Springer
Published: 21 Mar 2006

Save for later

KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings: ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540745648

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

Save for later

Petri-Netze (Examen.Press)

by Harro Wimmel,Lutz Priese

ISBN 13: 9783540769705

Format: Paperback (383 pages)
Publisher: Springer
Published: 01 Mar 2008

Save for later

Computational Linguistics and Intelligent Text Processing: 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, ... Computer Science and General Issues)

by

ISBN 13: 9783540781349

Format: Paperback (666 pages)
Publisher: Springer
Published: 08 Feb 2008

Save for later

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540372158

Format: Paperback (620 pages)
Publisher: Springer
Published: 10 Aug 2006

Save for later

Machine Learning Challenges: Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540334279

Format: Paperback (475 pages)
Publisher: Springer
Published: 11 May 2006

Save for later

Concept Lattices and Their Applications: Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540789208

Format: Paperback (283 pages)
Publisher: Springer
Published: 28 Mar 2008

Save for later

Fibonacci Numbers: The book starts with the basic properties of Fibonacci Numbers, but also explores their relevance in number theory, in the theory ... in geometry and in approximation theory

by Nicolai N. Vorobiev

ISBN 13: 9783764361358

Format: Paperback (176 pages)
Publisher: Birkhauser
Published: 23 Oct 2002

Save for later

Modeling Decisions for Artificial Intelligence: 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540737285

Format: Paperback (502 pages)
Publisher: Springer
Published: 30 Jul 2007

Save for later