Buy Used and New Mathematical Logic Books

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

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540705888

Format: Paperback (457 pages)
Publisher: Springer
Published: 04 Jul 2008

Save for later

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