| Born | 1966 |
2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
| Born | 1966 |
Subjects
Automatic theorem proving, Automatisches Beweisverfahren, Computer logic, Computer programming, Computeralgebra, HOL, Logic, Reelle ZahlID Numbers
- OLID: OL224477A
Links outside Open Library
No links yet. Add one?
| April 1, 2008 | Created by an anonymous user | initial import |