Siirry suoraan sisältöön
Automated Reasoning and Mathematics
Tallenna

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.
Alaotsikko
Essays in Memory of William W. McCune
Painos
2013 ed.
ISBN
9783642366741
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
19.3.2013
Sivumäärä
259