Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics): After 25 Years
by W. W Bledsoe,Donald W. Loveland
ISBN 13: 9780821850275
Format: Paperback (360 pages) Publisher: American Mathematical Society Published: 15 Dec 1984
Save for later
Mathematical Constants (Encyclopedia of Mathematics and its Applications)
by Steven R. Finch
ISBN 13: 9780521818056
Format: Hardcover (624 pages) Publisher: Cambridge University Press Published: 18 Aug 2003
Quadratic Forms, Linear Algebraic Groups, and Cohomology (Developments in Mathematics)
by
ISBN 13: 9781441962102
Format: Hardcover (348 pages) Publisher: Springer Published: 29 Jul 2010
Rough Sets and Knowledge Technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642029615
Format: Paperback (709 pages) Publisher: Springer Published: 24 Jun 2009
Sweet Reason: A Field Guide to Modern Logic
by James M. Henle, Jay L. Garfield, Thomas Tymoczko
ISBN 13: 9781444337150
Format: Paperback (424 pages) Publisher: John Wiley & Sons Published: 26 Aug 2011
Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)
by Murray R. Bremner
ISBN 13: 9781439807026
Format: Hardcover (332 pages) Publisher: CRC Press Published: 08 Sep 2011
Hybrid Logic and its Proof-Theory (Applied Logic Series)
by Torben Braüner
ISBN 13: 9789400700017
Format: Hardcover (244 pages) Publisher: Springer Published: 30 Nov 2010
General Lattice Theory: Second edition: Volume 1: The Foundation
by George Grätzer
ISBN 13: 9783764369965
Format: Paperback (663 pages) Publisher: Birkhauser Published: 21 Nov 2002
Math Work Stations: Independent Learning You Can Count On, K-2
by Debbie Diller
ISBN 13: 9781571107930
Format: Spiral-bound (299 pages) Publisher: Stenhouse Pub Published: 31 Dec 2010
Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)
by Deborah Nolan,Terry P. Speed
ISBN 13: 9780387989747
Format: Illustrated (301 pages) Publisher: Springer Published: 22 Feb 2009
Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)
by Stasys Jukna
ISBN 13: 9783642173639
Format: Hardcover (411 pages) Publisher: Springer Published: 02 Sep 2011
Automated Theorem Proving: Theory and Practice
by Monty Newborn
ISBN 13: 9780387950754
Format: Hardcover (231 pages) Publisher: Springer Published: 01 Jan 2001