Harrison, J. (John), 1966-
URI(s)
Variants
Harrison, John, 1966-
Harrison, Jim, 1966-
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
found: Internat. Conf. on Theorem Proving in Higher Order Logics (9th : 1996 : Turku, Finland). Theorem proving in higher order logics, c1996:CIP t.p. (J. Harrison) t.p. verso (Jim Harrison, Abo Akademi Univ., Dept. Computer Science, Turku, Finland) data sheet (b. 12/14/66)
found: Theorem proving in higher order logics, 2000:CIP t.p. (John Harrison)
found: Computer science--theory and applications, c2006:t.p. (John Harrison) t.p. verso (Intel Corp., Hillsboro, OR, USA)
found: University of Cambridge, Computer Laboratory WWW site, June 19, 2006(John Harrison; Intel Corp.; prev. member of Automated Reasoning Group at the Computer Laboratory of the Univ. of Cambridge and worked as a research associate and PhD student there; spent a year in the Dept. of Computer Science, Åbo Akademi Univ., Finland)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1996-07-15: new
2022-10-31: revised
Alternate Formats