Notice bibliographique
- Notice
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
Melham, Tom F.. Éditeur scientifique
Sujet(s) : Logique mathématique -- Informatique
Indice(s) Dewey :
511.3 (23e éd.) = Logique mathématique
Identifiants, prix et caractéristiques : ISBN 0-521-44189-7
Identifiant de la notice : ark:/12148/cb37436395f
Notice n° :
FRBNF37436395