Grundy, J. (Jim)

ID:DA10461393

別名: Grundy, Jim

同姓同名の著者を検索

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

1

International Refinement Workshop and Formal Methods Pacific 1998 : proceedings of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia

edited by J. Grundy, M. Schwenke, T. Vickers

Springer-Verlag 1998 Springer series in discrete mathematics and theoretical computer science

softcover

所蔵館4館
2

Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings

Jim Grundy, Malcolm Newey (eds.)

Springer c1998 Lecture notes in computer science 1479

所蔵館43館
3

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

所蔵館57館

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

関連著者

ページトップへ