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

Titre(s) : Introduction to HOL [Texte imprimé] : a theorem proving environment for higher order logic / ed. by M. J. C. Gordon and T. F. Melham

Publication : Cambridge : Cambridge university press, 1993

Description matérielle : XX-472 p. ; 23 cm

Note(s) : Bibliogr. p. 441-443. Index

Autre(s) auteur(s) : Gordon, Michael J. C.. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Melham, Tom F.. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique mathématique -- Informatique  Voir les notices liées en tant que sujet

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

Identifiants, prix et caractéristiques : ISBN 0-521-44189-7

Identifiant de la notice  : ark:/12148/cb37436395f

Notice n° :  FRBNF37436395