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

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L 11851 Empruntable Disponible