Produkt mají v nabídce:
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.
