Assistance
Identifiant IdRef : 132935368
Notice de type Personne

Forme retenue

Gordon, Michael J. C. (1948-....)

Information

Langue d'expression : Anglais

Source

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 / forganized 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, 1993

Internet, www.bn.fr, 2009-04-21

Autres identifiants

Utilisation dans Rameau

... Références liées : ...