【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Harrison, J. (John)

ID:DA10461418

Alias Name: Harrison, John

Search authors sharing the same name

Search Results1-4 of 4

1

Handbook of practical logic and automated reasoning

John Harrison

Cambridge University Press 2009

: hbk

Available at 18 libraries
2

Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings

Mark Aagaard, John Harrison (eds.)

Springer c2000 Lecture notes in computer science 1869

Available at 33 libraries
3

Theorem proving with the real numbers

John Harrison

Springer c1998 Distinguished dissertations

Available at 9 libraries
4

Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings

J. von Wright, J. Grundy, J. Harrison, (eds.)

Springer c1996 Lecture notes in computer science 1125

Available at 58 libraries

Search this author

Related Authors