Buy Used and New Mathematical Logic Books

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783642125911

Format: Paperback (215 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540740605

Format: Paperback (469 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540280606

Format: Paperback (293 pages)
Publisher: Springer
Published: 20 Jul 2005

Save for later

Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540309482

Format: Paperback (380 pages)
Publisher: Springer
Published: 11 Jan 2006

Save for later

Fuzzy Logic and Applications: 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540310198

Format: Paperback (342 pages)
Publisher: Springer
Published: 25 Jan 2006

Save for later

Computational Linguistics and Intelligent Text Processing: 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, ... Computer Science and General Issues)

by

ISBN 13: 9783540709381

Format: Paperback (648 pages)
Publisher: Springer
Published: 07 Feb 2007

Save for later

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday: Papers in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540759386

Format: Paperback (309 pages)
Publisher: Springer
Published: 26 Oct 2007

Save for later

Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540738169

Format: Paperback (185 pages)
Publisher: Springer
Published: 27 Jul 2007

Save for later

Applications of Fuzzy Sets Theory: 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540733997

Format: Paperback (693 pages)
Publisher: Springer
Published: 29 Jun 2007

Save for later

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540773559

Format: Paperback (213 pages)
Publisher: Springer
Published: 12 Dec 2007

Save for later

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Computer Science and General Issues)

by

ISBN 13: 9783540787686

Format: Paperback (219 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Classic Papers in Combinatorics (Modern Birkhäuser Classics)

by

ISBN 13: 9780817648411

Format: Paperback (499 pages)
Publisher: Birkhauser
Published: 23 Dec 2008

Save for later