Harrison, John, 1966-....
Harrison, J. (John), 1966-
Harrison, J. R.
Harrison, J. (John)
Harrison, John, fl. 2006
John Harrison americký autor publikací z oboru počítačové vědy
J. Harrison
VIAF ID: 115375740 ( Personal )
Permalink: http://viaf.org/viaf/115375740
Preferred Forms
- 200 _ | ‡a Harrison ‡b John ‡f 1966-....
- 100 1 _ ‡a Harrison, J. R.
- 100 1 _ ‡a Harrison, J. ‡q (John)
-
- 100 1 _ ‡a Harrison, J. ‡q (John), ‡d 1966-
-
-
- 100 1 _ ‡a Harrison, J. ‡q (John), ‡d 1966-
-
-
- 100 1 _ ‡a Harrison, John ‡d 1966-
-
-
- 100 1 _ ‡a Harrison, John, ‡d 1966-....
-
- 100 0 _ ‡a J. Harrison
- 100 0 _ ‡a John Harrison ‡c americký autor publikací z oboru počítačové vědy
4xx's: Alternate Name Forms (12)
Works
Title | Sources |
---|---|
Computer science--theory and applications, c2006: | |
Contributions to the Formal Verification of Arithmetic Algorithms. | |
CSR 2006 | |
Formalized mathematics | |
Formalizing Basic Complex Analysis : Dedicated to Andrzej Trybulec on the occasion of his 65th birthday | |
Handbook of practical logic and automated reasoning | |
Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification | |
Optimizing proof search in model elimination | |
Theorem proving in higher order logics, 2000: | |
Theorem proving with the real numbers | |
Univeristy of Cambridge, Computer Laboratory WWW site, June 19, 2006 |