人物別名 |
J. Harrison
Harrison, John |
生年 |
1966年 |
没年 |
- |
タイトル |
著作者等 |
出版元 |
刊行年月 |
Handbook of practical logic and automated reasoning
|
John Harrison |
Cambridge University Press
|
2009 |
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 |
Theorem proving with the real numbers
|
John Harrison |
Springer
|
c1998 |
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 |
この人物を:
|
件が連想されています
|