Buy Used and New Mathematical Logic Books

DNA Computing: 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers: 4848 (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540779612

Format: Paperback (303 pages)
Publisher: Springer
Published: 08 Feb 2008

Save for later

Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings: 6009 (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642122507

Format: Paperback (366 pages)
Publisher: Springer
Published: 09 Apr 2010

Save for later

Analysis and Design of Intelligent Systems Using Soft Computing Techniques (Advances in Intelligent and Soft Computing)

by

ISBN 13: 9783540724315

Format: Paperback (855 pages)
Publisher: Springer
Published: 05 Jun 2007

Save for later

Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540372134

Format: Paperback (291 pages)
Publisher: Springer
Published: 10 Aug 2006

Save for later

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