Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)
by Chin-Liang Chang,Richard Char-Tung Lee
ISBN 13: 9780121703509
Format: Illustrated (331 pages) Publisher: Academic Press Published: 15 Jun 1973
Save for later
Elementary Number Theory (Springer Undergraduate Mathematics Series)
by Jones, Gareth A. Gareth A. Jones, Josephine M. Jones,
ISBN 13: 9783540761976
Format: paperback Publisher: Springer
Advanced Modelling in Finance Using Excel and VBA (The Wiley Finance Series)
by Mary Jackson
ISBN 13: 9780471499220
Format: Hardcover (278 pages) Publisher: Wiley Published: 20 Apr 2001
Empirical Processes in M-Estimation: 6 (Cambridge Series in Statistical and Probabilistic Mathematics, Series Number 6)
by Sara van de Geer
ISBN 13: 9780521123259
Format: Illustrated (300 pages) Publisher: Cambridge University Press Published: 19 Nov 2009
Advances in Automatic Differentiation: 64 (Lecture Notes in Computational Science and Engineering)
by Christian H. Bischof, H. Martin Bücker, Paul Hovland, Uwe Naumann, Jean Utke
ISBN 13: 9783540689355
Format: Paperback (370 pages) Publisher: Springer Published: 21 Jul 2008
Séminaire de Probabilités XLII: 1979 (Lecture Notes in Mathematics)
by Catherine Donati-Martin,Michel Émery,Alain Rouault,Christophe Stricker
ISBN 13: 9783642017629
Format: Paperback (472 pages) Publisher: Springer Published: 30 Jun 2009
Introduction to Topology: Second Edition (Dover Books on MaTHEMA 1.4tics)
by T.W. Gamelin
ISBN 13: 9780486406800
Format: Illustrated (256 pages) Publisher: Dover Publications Inc Published: 30 Sep 1999
Modelling Differential Equations in Biology
by C. H. Taubes
ISBN 13: 9780521708432
Format: Illustrated (526 pages) Publisher: Cambridge University Press Published: 17 Jan 2008
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007
The Millennium Problems: The Seven Greatest Unsolved Mathematical Puzzles of Our Time
by Keith Devlin
ISBN 13: 9780465017300
Format: Illustrated (256 pages) Publisher: Basic Books Published: 16 Oct 2003 Other Format: Hardcover, Paperback
Galois' Theory of Algebraic Equations
by Jean-Pierre Tignol
ISBN 13: 9789810245412
Format: Paperback (348 pages) Publisher: Wspc Published: Apr 2001
Foundation Mathematics
by K.A. StroudDexter J. Booth,
ISBN 13: 9780230579071
Format: paperback Publisher: Red Globe Press