Symbolic logic and mechanical theorem proving
Enregistré dans:
Auteurs principaux : | , |
---|---|
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 : |
Chargement en cours