Buy Used and New Mathematical Logic Books

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

by

ISBN 13: 9788847007833

Format: Paperback (280 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, ... Computer Science and General Issues)

by

ISBN 13: 9783540499947

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

Save for later

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540334385

Format: Paperback (305 pages)
Publisher: Springer
Published: 06 Apr 2006

Save for later

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540689775

Format: Paperback (658 pages)
Publisher: Springer
Published: 03 Jan 2007

Save for later

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540744634

Format: Paperback (269 pages)
Publisher: Springer
Published: 01 Oct 2007

Save for later

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... / Programming and Software Engineering)

by

ISBN 13: 9783540881933

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

Save for later

Machine Learning: ECML 2007: 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540749578

Format: Paperback (809 pages)
Publisher: Springer
Published: 05 Sep 2007

Save for later

Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540322030

Format: Paperback (319 pages)
Publisher: Springer
Published: 01 Feb 2006

Save for later

Transactions on Rough Sets V: v. 5 (Lecture Notes in Computer Science / Transactions on Rough Sets)

by

ISBN 13: 9783540393825

Format: Paperback (507 pages)
Publisher: Springer
Published: 12 Oct 2006

Save for later

Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540754138

Format: Paperback (291 pages)
Publisher: Springer
Published: 14 Dec 2007

Save for later

Rough Sets and Knowledge Technology: First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540362975

Format: Paperback (810 pages)
Publisher: Springer
Published: 06 Jul 2006

Save for later

Fuzzy Information and Engineering: Proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE) (Advances in Intelligent and Soft Computing)

by

ISBN 13: 9783540714408

Format: Paperback (1032 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later