著者典拠情報

著者標目形：
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
属性：
Meeting
場所：
Leuven, Belgium
日付：
1992
から見よ参照形：
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
注記：
Its Higher order logic theorem proving and its applications, c1993: CIP t.p. (IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications; 9/21-24/92, Leuven, Belgium)
著者典拠ID：
DA07102122


1.

図書
図書
1. Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings (: gw ; : us)
Thomas F. Melham, Juanito Camilleri, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 859
所蔵情報: 図書館
2.

図書
図書
2. 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
出版情報: Amsterdam ; New York : North-Holland, 1993
シリーズ名: IFIP transactions ; A . Computer science and technology ; 20
所蔵情報: 図書館