Buy Used and New Mathematical Logic Books

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

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540731467

Format: Paperback (273 pages)
Publisher: Springer
Published: 22 Jun 2007

Save for later

Formal Concept Analysis: 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540781363

Format: Paperback (325 pages)
Publisher: Springer
Published: 11 Feb 2008

Save for later

Modeling Decisions for Artificial Intelligence: 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings: 5285 ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540882688

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

Save for later

Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540291725

Format: Paperback (1052 pages)
Publisher: Springer
Published: 30 Sep 2005

Save for later