Gå direkte til innholdet
Automated Reasoning and Mathematics
Spar

Automated Reasoning and Mathematics

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.
Undertittel
Essays in Memory of William W. McCune
Opplag
2013 ed.
ISBN
9783642366741
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
19.3.2013
Antall sider
259