Notice de collectivité
- Notice
000 nx b22 3 45
001 FRBNF173097777
100 .. $a 20180207cfrey50 ba0
101 .. $a und
102 .. $a XX
103 .. $a 1992
105 .. $a a
106 .. $a 1
150 .. $a y
152 .. $c 2
210 || $7 ba0yba0y $8 fre $9 $a IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and
Its Applications $f 1992 $e Leuven, Belgium)
801 .. $a FR $b FR-751131015 $c 20180207
810 .. $a Higher order logic theorem proving and its applications [Texte électronique] : 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
