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

Auteur(s) : Goubault-Larrecq, Jean  Voir les notices liées en tant qu'auteur
Mackie, Ian (1968-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Proof theory and automated deduction [Texte imprimé] / by Jean Goubault-Larrecq,... and Ian Mackie,...

Publication : Dordrecht ; Boston ; London : Kluwer academic publ., cop. 1997

Description matérielle : XV-424 p. : ill., couv. ill. ; 25 cm

Collection : Applied logic series ; 6

Lien à la collection : Applied logic series  Voir toutes les notices liées

Note(s) : Contient le cours sur la "théorie de la preuve et démonstration automatique" donné par les 2 auteurs dans le cadre du DEA I.M.A. à l'École polytechnique. - Bibliogr. p. 407-413. Index

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

Indice(s) Dewey :  006.333 (23e éd.) = Déduction, résolution de problèmes, raisonnement (intelligence artificielle)  Voir les notices liées en tant que sujet ; 511.36 (23e éd.) = Théorie de la preuve et mathématiques constructives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-7923-4593-2 (rel.)

Identifiant de la notice  : ark:/12148/cb37529787m

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