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

Auteur(s) : Colton, Simon  Voir les notices liées en tant qu'auteur

Titre(s) : Automated theory formation in pure mathematics [Texte imprimé] / Simon Colton

Publication : London : Springer, cop. 2002

Description matérielle : XVI-380 p. : ill. ; 24 cm

Collection : Distinguished dissertations, ISSN 1439-9768

Lien à la collection : Distinguished dissertations  Voir toutes les notices liées

Note(s) : Bibliogr. p. [365]-373

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

Indice(s) Dewey :  511.360 28563 (23e éd.) = Démonstration automatique de théorèmes  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 1-852-33609-9 (rel.)

Identifiant de la notice  : ark:/12148/cb39117039q

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