John Harrison (28) (1966–)
Teoksen Handbook of Practical Logic and Automated Reasoning tekijä
Katso täsmennyssivulta muut tekijät, joiden nimi on John Harrison.
Tietoja tekijästä
John Harrison is a Principal Engineer at Intel Corporation in Portland, Oregon. He specializes in formal verification, automated theorem proving, floating-point arithmetic and mathematical algorithms.
Tekijän teokset
Merkitty avainsanalla
Yleistieto
- Muut nimet
- Harrison, J.
Harrison, Jim - Syntymäaika
- 1966-12-14
- Sukupuoli
- male
Jäseniä
You May Also Like
Associated Authors
Tilastot
- Teokset
- 2
- Jäseniä
- 25
- Suosituimmuussija
- #508,561
- ISBN:t
- 232
- Kielet
- 2