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
Mathematical Problems from Applied Logic II: Logics for the XXIst Century: Logics for the 21st Century: v. 2 (International Mathematical Series)
by
ISBN 13: 9780387692449
Format: Hardcover (384 pages) Publisher: Springer Published: 29 Mar 2007
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)
ISBN 13: 9783540442745
Format: Paperback (655 pages) Publisher: Springer Published: 25 Sep 2002
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)
ISBN 13: 9783540710653
Format: Paperback (321 pages) Publisher: Springer Published: 30 Jul 2008
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
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
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540559306
Format: Paperback (324 pages) Publisher: Springer Published: 25 Aug 1992
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540671909
Format: Paperback (299 pages) Publisher: Springer Published: 09 Feb 2000
Pell's Equation (Problem Books in Mathematics)
by Edward J. Barbeau
ISBN 13: 9780387955292
Format: Hardcover (200 pages) Publisher: Springer Published: 28 Jan 2003
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)
ISBN 13: 9783540278290
Format: Paperback (406 pages) Publisher: Springer Published: 08 Jul 2005
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