Gå direkt till innehållet
Automated Reasoning and Mathematics
Spara

Automated Reasoning and Mathematics

Lägsta pris på PriceRunner
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.
Undertitel
Essays in Memory of William W. McCune
Upplaga
2013 ed.
ISBN
9783642366741
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2013-03-19
Sidor
259