Buy Used and New Mathematical Logic Books

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540755951

Format: Paperback (566 pages)
Publisher: Springer
Published: 09 Oct 2007

Save for later

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540732273

Format: Paperback (397 pages)
Publisher: Springer
Published: 15 Jun 2007

Save for later

Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540745921

Format: Paperback (325 pages)
Publisher: Springer
Published: 23 Aug 2007

Save for later

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540745907

Format: Paperback (401 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540789680

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

Save for later

Rough Sets and Current Trends in Computing: 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540884231

Format: Paperback (532 pages)
Publisher: Springer
Published: 07 Oct 2008

Save for later

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, ... / Programming and Software Engineering)

by

ISBN 13: 9783540890195

Format: Paperback (607 pages)
Publisher: Springer
Published: 15 Oct 2008

Save for later

Argumentation in Multi-Agent Systems: 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642128042

Format: Paperback (331 pages)
Publisher: Springer
Published: 10 May 2010

Save for later

Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642159275

Format: Paperback (431 pages)
Publisher: Springer
Published: 27 Sep 2010

Save for later

Mathematisch-Strukturelle Grundlagen Der Informatik (Springer-Lehrbuch)

by H Ehrig,B Mahr,F Cornelius,M Gro_e-Rhode,Paul Zeitz,P Zeitz,M Groce-Rhode,M Groae-Rhode,Hartmut Ehrig,Bernd Mahr

ISBN 13: 9783540419235

Format: Paperback (621 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: Apr 2001

Save for later

Theoretische Informatik: Eine Kompakte Einfuhrung: Eine kompakte Einführung (Springer-Lehrbuch)

by Klaus W Wagner

ISBN 13: 9783540013136

Format: Paperback (227 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 11 Aug 2003

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540755586

Format: Paperback (562 pages)
Publisher: Springer
Published: 08 Oct 2007

Save for later