Buy Used and New Mathematical Foundations Books

Descriptive Complexity (Texts in Computer Science)

by Neil Immerman

ISBN 13: 9780387986005

Format: Hardcover (284 pages)
Publisher: Springer
Published: 01 Jan 1999

Save for later

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540727873

Format: Paperback (384 pages)
Publisher: Springer
Published: 18 May 2007

Save for later

Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540442745

Format: Paperback (655 pages)
Publisher: Springer
Published: 25 Sep 2002

Save for later

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

Format: Paperback (321 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

New Structures for Physics (Lecture Notes in Physics)

by

ISBN 13: 9783642128202

Format: Paperback (1018 pages)
Publisher: Springer
Published: 20 Oct 2010

Save for later

Field Arithmetic (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge A Series of Modern Surveys in Mathematics)

by Michael D. Fried,Moshe Jarden

ISBN 13: 9783540772699

Format: Hardcover (792 pages)
Publisher: Springer
Published: 06 May 2008

Save for later

The Method of Approximate Inverse: Theory and Applications (Lecture Notes in Mathematics)

by Thomas Schuster

ISBN 13: 9783540712268

Format: Paperback (216 pages)
Publisher: Springer
Published: 07 May 2007

Save for later

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540559306

Format: Paperback (324 pages)
Publisher: Springer
Published: 25 Aug 1992

Save for later

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540671909

Format: Paperback (299 pages)
Publisher: Springer
Published: 09 Feb 2000

Save for later

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540278290

Format: Paperback (406 pages)
Publisher: Springer
Published: 08 Jul 2005

Save for later

Distribution Logistics: Advanced Solutions to Practical Problems (Lecture Notes in Economics and Mathematical Systems)

by

ISBN 13: 9783540221005

Format: Paperback (294 pages)
Publisher: Springer
Published: 25 Aug 2004

Save for later

Singular Coverings of Toposes (Lecture Notes in Mathematics)

by M. Bunge,J. Funk

ISBN 13: 9783540363590

Format: Paperback (237 pages)
Publisher: Springer
Published: 21 Aug 2006

Save for later