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

Auteur(s) : International conference on theorem proving in higher order logics (11 ; 1998 ; Canberra)  Voir les notices liées en tant qu'auteur

Titre(s) : Theorem proving in higher order logics [Texte imprimé] : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998 : proceedings / ed. Jim Grundy, Malcolm Newey

Publication : Berlin : Springer, 1998

Description matérielle : 1 vol. (VIII-496 p.) ; 25 cm

Collection : Lectures notes in computer science ; 1479

Lien à la collection : Lecture notes in computer science  Voir toutes les notices liées

Note(s) : Notes bibliogr.

Autre(s) auteur(s) : Grundy, Jim (1968-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Newey, Malcolm. É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

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 3-540-64987-5 (br.)

Identifiant de la notice  : ark:/12148/cb37545200s

Notice n° :  FRBNF37545200