Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Chang Chin-Liang (Auteur), Lee Richard Char-Tung (Auteur)
Format : Livre
Langue : anglais
Titre complet : Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
Publié : Orlando Florida, London [etc.] : Academic press , cop. 1973
Description matérielle : XII-331 p.
Collection : Computer science and applied mathematics
Titre de l'ensemble : Computer science and applied mathematics
Sujets :
Logique mathématique
Intelligence artificielle
Théorèmes > Démonstration automatique
Chargement en cours