Automated Reasoning and Mathematics
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
59,75 €On orderDelivery: 2-3 weeks
The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
- ISBN-13
- 9783642366741
- ISBN-10
- 3642366740
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2013
- Publication date
- 2013-03-19
- Pages
- 259
- Dimensions
- 235x155x