Notice de collectivité
- Notice
Interuniversity Micro-Electronics Center
Responsabilité(s) exercée(s) sur les documents :
Auteur
Source(s) :
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
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
Identifiant de la notice : ark:/12148/cb173148439
Notice n° :
FRBNF17314843
Création :
18/02/07
