Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(11 chapters)
About this book
Editors and Affiliations
-
School of Mathematical and Computer Sciences, Heriot-Watt University, Riccarton, Edinburgh, Scotland, UK
Fairouz D. Kamareddine
Bibliographic Information
Book Title: Thirty Five Years of Automating Mathematics
Editors: Fairouz D. Kamareddine
Series Title: Applied Logic Series
DOI: https://doi.org/10.1007/978-94-017-0253-9
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2003
Hardcover ISBN: 978-1-4020-1656-1Published: 30 November 2003
Softcover ISBN: 978-90-481-6440-0Published: 22 October 2010
eBook ISBN: 978-94-017-0253-9Published: 17 April 2013
Series ISSN: 1386-2790
Edition Number: 1
Number of Pages: IX, 320
Topics: Mathematical Logic and Foundations, Mathematics of Computing, Optimization, Symbolic and Algebraic Manipulation