Harrison, J.   (1966-)

この人物の情報

人物別名 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
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想