Harrison, J. (John)

ID:DA10461418

別名: Harrison, John

同姓同名の著者を検索

検索結果4件中 1-4 を表示

1

Handbook of practical logic and automated reasoning

John Harrison

Cambridge University Press 2009

: hbk

所蔵館18館
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

所蔵館33館
3

Theorem proving with the real numbers

John Harrison

Springer c1998 Distinguished dissertations

所蔵館9館
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

所蔵館58館

この著者を外部サイトでさがす

関連著者

ページトップへ