Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 ; Leuven, Belgium)  Voir les notices liées en tant qu'auteur

Titre(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

Publication : Amsterdam ; New York : North-Holland, 1993

Description matérielle : 1 ressource dématérialisée

Collection : IFIP transactions. A, Computer science and technology ; A-20

Note(s) : Includes bibliographical references

Autre(s) auteur(s) : Claesen, Luc J. M.. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Gordon, Michael J. C. (1948-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Interuniversity Micro-Electronics Center. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Commission of the European Communities. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Induction (logique)  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  004.015 113 (23e éd.) = Informatique - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780444898807

Identifiant de la notice  : ark:/12148/cb446491052

Notice n° :  FRBNF44649105 (notice reprise d'un réservoir extérieur)