Buy Used and New Mathematical Logic Books

Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October ... Computer Science and General Issues)

by

ISBN 13: 9783540291053

Format: Paperback (424 pages)
Publisher: Springer
Published: 19 Sep 2005

Save for later

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540366355

Format: Paperback (474 pages)
Publisher: Springer
Published: 03 Aug 2006

Save for later

Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540310235

Format: Paperback (373 pages)
Publisher: Springer
Published: 14 Feb 2006

Save for later

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