Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : International workshop on higher order logic theorem proving and its applications (1992 ; Louvain, Belgique)  Voir les notices liées en tant qu'auteur

Titre(s) : Higher order logic theorem proving and its applications [Texte imprimé] : 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 ; ed. by Luc J.M. Claesen, Michael J.C. Gordon

Publication : Amsterdam ; London ; New York : North-Holland, cop. 1993

Description matérielle : XIII-568 p. : ill. ; 23 cm

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

Lien à la collection : IFIP transactions. Computer science and technology  Voir toutes les notices liées

Note(s) : Notes bibliogr.

Autre(s) auteur(s) : Claesen, Luc J. M.. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Gordon, Michael J. C. (1948-....). Éditeur scientifique  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

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

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

Identifiants, prix et caractéristiques : ISBN 0-444-89880-8 (br.)

Identifiant de la notice  : ark:/12148/cb37727008d

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