IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications

ID:DA07102122

別名: International Workshop on HIgher Order Logic Theorem Proving and Its Applications

Workshop on Higher Order Logic Theorem Proving and Its Applications, IFIP TC10/WG10.2 International

同姓同名の著者を検索

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

1

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)

Springer-Verlag c1995 Lecture notes in computer science 971

: gw

所蔵館54館
2

Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Thomas F. Melham, Juanito Camilleri, (eds.)

Springer-Verlag c1994 Lecture notes in computer science 859

: gw , : us

所蔵館60館
3

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon

North-Holland 1993 IFIP transactions A . Computer science and technology ; 20

所蔵館19館

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

関連著者

ページトップへ