Buy Used and New Mathematical Theory Books

Logic for Computer Scientists (Modern Birkhäuser Classics)

by Uwe Schöning

ISBN 13: 9780817647629

Format: Paperback (166 pages)
Publisher: Birkhauser
Published: 25 Jan 2008

Save for later

Constraint-Programmierung: Grundlagen Und Anwendungen (Springer-Lehrbuch)

by Thom Frühwirth,Slim Abdennadher

ISBN 13: 9783540606703

Format: Paperback (176 pages)
Publisher: Springer
Published: 22 Feb 2009

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

Measurements and their Uncertainties: A practical guide to modern error analysis

by Ifan Hughes,Thomas Hase

ISBN 13: 9780199566334

Format: Paperback (160 pages)
Publisher: OUP Oxford
Published: 01 Jul 2010

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

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

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

AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540290414

Format: Paperback (628 pages)
Publisher: Springer
Published: 12 Sep 2005

Save for later

Algebra: Volume II: Fields with Structure, Algebras and Advanced Topics: Advanced Topics v. 2 (Universitext)

by Falko Lorenz

ISBN 13: 9780387724874

Format: Paperback (340 pages)
Publisher: Springer
Published: 10 Jan 2008

Save for later