J. Harrison
5 published titles
Theorem proving with the real numbers
1 edition
- ISBN: 3540762566
- Springer
- 1998
- Details
Theorem proving in higher order logics
(Contributor)
1 edition
- ISBN: 3540678638
- Springer
- 2000
- Details
Computer science - theory and applications : first International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540341666
- Springer
- 2006
- Details
Handbook of practical logic and automated reasoning
1 edition
- ISBN: 9780521899574
- Cambridge University Press
- 2009
- Details
Data centres : an introduction to concepts and design
1 edition
