Buy Used and New Mathematical Logic Books

Logica Universalis: Towards a General Theory of Logic

by

ISBN 13: 9783764383534

Format: Paperback (246 pages)
Publisher: Birkhauser
Published: 17 Apr 2007

Save for later

Rough Sets and Current Trends in Computing: 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540476931

Format: Paperback (973 pages)
Publisher: Springer
Published: 26 Oct 2006

Save for later

Inductive Logic Programming: 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540784685

Format: Paperback (307 pages)
Publisher: Springer
Published: 14 Mar 2008

Save for later

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