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

Auteur(s) : Plaisted, David A.  Voir les notices liées en tant qu'auteur
Zhu, Yunshan  Voir les notices liées en tant qu'auteur

Titre(s) : The efficiency of theorem proving strategies [Texte imprimé] : a comparative and asymptotic analysis / David A. Plaisted, Yunshan Zhu

Publication : Braunschweig ; Wiesbaden : Vieweg, cop. 1997

Description matérielle : VI-167 p. : ill. ; 21 cm

Collection : Computational intelligence

Lien à la collection : Computational intelligence  Voir toutes les notices liées

Note(s) : Bibliogr. p. 155-160. Index

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

Identifiants, prix et caractéristiques : ISBN 3-528-05574-X (br.)

Identifiant de la notice  : ark:/12148/cb373214207

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