Buy Used and New Mathematical Logic Books

Modeling Decision for Artificial Intelligence: 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642225888

Format: Paperback (273 pages)
Publisher: Springer
Published: 08 Jul 2011

Save for later

Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783642217319

Format: Paperback (241 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783642228629

Format: Paperback (394 pages)
Publisher: Springer
Published: 02 Aug 2011

Save for later

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642229527

Format: Paperback (386 pages)
Publisher: Springer
Published: 09 Aug 2011

Save for later

Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642228865

Format: Paperback (429 pages)
Publisher: Springer
Published: 19 Jul 2011

Save for later

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642221095

Format: Paperback (778 pages)
Publisher: Springer
Published: 05 Jul 2011

Save for later

Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642223587

Format: Paperback (398 pages)
Publisher: Springer
Published: 06 Jul 2011

Save for later

Knowledge Processing and Data Analysis: First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642221392

Format: Paperback (335 pages)
Publisher: Springer
Published: 28 Jul 2011

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540894384

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)

by

ISBN 13: 9789048124855

Format: Paperback (360 pages)
Publisher: Springer
Published: 12 Mar 2009

Save for later

Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4481 (Lecture Notes in Computer Science)

by JingTao Yao,Nick J. Cercone,Wei-Zhi Wu,Pawan Lingras,Marcin Szczuka

ISBN 13: 9783540724575

Format: Illustrated (592 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later

Principles of Applied Mathematics (Advanced Book Program)

by James P. Keener

ISBN 13: 9780738201290

Format: Hardcover (624 pages)
Publisher: CRC Press
Published: 14 Jan 2000

Save for later