An edition of Theorem proving with the real numbers (1998)
By Harrison, J.
Publish Date
1998
Publisher
Springer
Language
eng
Pages
186
Description:
subjects: Automatic theorem proving, HOL, Automatisches Beweisverfahren, Computeralgebra, Reelle Zahl