A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics)
by Yu. I. Manin
ISBN 13: 9781441906144
Format: Hardcover (384 pages) Publisher: Springer Published: 30 Oct 2009
Save for later
Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence)
by V. Wiktor Marek,Miroslaw Truszczynski
ISBN 13: 9783540564485
Format: Hardcover (430 pages) Publisher: Springer Published: 24 Aug 2011
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)
by
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
Scientific Opportunism / L'Opportunisme scientifique: An Anthology (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives / Science autour de / around 1900)
by Henri Poincaré
ISBN 13: 9783764365394
Format: Hardcover (234 pages) Publisher: Birkhauser Published: 01 Jan 2002
Granular Computing: At the Junction of Rough Sets and Fuzzy Sets (Studies in Fuzziness and Soft Computing)
ISBN 13: 9783540769729
Format: Hardcover (335 pages) Publisher: Springer Published: 20 Feb 2008