Harrison, John, 1966-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Harrison, J. (John), 1966-
Harrison, J. R.
Harrison, J. (John)
J. Harrison
Harrison, J.
VIAF ID: 115375740 ( Personal )
Permalink: http://viaf.org/viaf/115375740
Preferred Forms
-
200 _ |
‡a
Harrison
‡b
John
‡f
1966-....
-
100 1 _ ‡a Harrison, J. (sparse)
-
100 1 _
‡a
Harrison, J. R.
-
100 1 _
‡a
Harrison, J.
‡q
(John)
-
100 1 _ ‡a Harrison, J. ‡q (John) (sparse)
-
100 1 _
‡a
Harrison, J.
‡q
(John),
‡d
1966-
-
100 1 _ ‡a Harrison, J. ‡q (John), ‡d 1966-
-
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 1 _
‡a
Harrison, John
‡d
1966-
-
100 1 _ ‡a Harrison, John, ‡d 1966-
-
100 1 _
‡a
Harrison, John,
‡d
1966-....
-
100 0 _
‡a
J. Harrison
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 |
|
