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

Auteur(s) : Newborn, Monty (1938-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Automated theorem proving [Texte imprimé] : theory and practice / Monty Newborn

Publication : New York : Springer, cop. 2001

Description matérielle : XIII-231 p. : ill. ; 24 cm + 1 CD-ROM

Note(s) : Bibliogr. p. [207]-210. Index. Exercices corrigés

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

Indice(s) Dewey :  510.285 (23e éd.) = Mathématiques - Applications informatiques  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-387-95075-3 (rel.)

Identifiant de la notice  : ark:/12148/cb37740470n

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