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

Auteur(s) : Chang, Chin-Liang (1937-....)  Voir les notices liées en tant qu'auteur
Lee, Richard Char-Tung (1939-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Symbolic logic and mechanical theorem proving [Texte imprimé] / Chin-Liang Chang,... Richard Char-Tung Lee,...

Publication : San Diego : Academic press, cop. 1973

Description matérielle : XIII-331 p. ; 24 cm

Collection : Computer science classics

Lien à la collection : Computer science classics  Voir toutes les notices liées

Note(s) : Bibliogr. p. 309-324. Index

Sujet(s) : Logique mathématique  Voir les notices liées en tant que sujet
Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet
Intelligence artificielle  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 0-12-170350-9

Identifiant de la notice  : ark:/12148/cb37361125z

Notice n° :  FRBNF37361125