Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642048920
Format: Paperback (329 pages) Publisher: Springer Published: 23 Sep 2009
Save for later
Elementary Induction on Abstract Structures (Dover Books on Mathematics)
by Yiannis N Moschovakis
ISBN 13: 9780486466781
Format: Paperback (240 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Number System (Dover Books on Mathematics)
by H.A. Thurston
ISBN 13: 9780486458069
Format: Paperback (144 pages) Publisher: Dover Publications Inc. Published: 27 Apr 2007
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
by Hunter
ISBN 13: 9780520023567
Format: Paperback (302 pages) Publisher: University of California Press Published: 01 Jul 1992
Automated Theorem Proving: Theory and Practice
by Monty Newborn
ISBN 13: 9780387950754
Format: Hardcover (231 pages) Publisher: Springer Published: 01 Jan 2001
Theorie Und Numerik Restringierter Optimierungsaufgaben (Springer-Lehrbuch Masterclass)
by Carl Geiger,Christian Kanzow
ISBN 13: 9783540427902
Format: Paperback (487 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 06 Mar 2002
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540412854
Format: Paperback (487 pages) Publisher: Springer Published: 23 Oct 2000
Einführung in die Kombinatorik.
by Konrad Jacobs,Dieter Jungnickel
ISBN 13: 9783110167276
Format: Paperback (406 pages) Publisher: Gruyter, Walter de GmbH Published: 31 Dec 2003
Free Boundary Problems: Theory and Applications (International Series of Numerical Mathematics)
ISBN 13: 9783764377182
Format: Hardcover (470 pages) Publisher: Birkhauser Published: 22 Nov 2006
Iterative Approximation of Fixed Points (Lecture Notes in Mathematics)
by Vasile Berinde
ISBN 13: 9783540722335
Format: Paperback (342 pages) Publisher: Springer Published: 16 May 2007
Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540290735
Format: Paperback (349 pages) Publisher: Springer Published: 11 Oct 2005
Numerical Mathematics (Texts in Applied Mathematics)
by Alfio Quarteroni,Riccardo Sacco,Fausto Saleri
ISBN 13: 9783540346586
Format: Hardcover (657 pages) Publisher: Springer Published: 19 Oct 2006