Symbolic logic and mechanical theorem proving
Chang, Chin-Liang
Symbolic logic and mechanical theorem proving Chin-Liang Chang, Richard Char-Tung Lee - San Diego : Academic Press, [1987], c1973. - xiii, 331 p. : ill. ; 24 cm - Computer science classics .
Cuprinde Bibliografie si exercitii la sfarsitul fiecarui capitol
Anexe p. 287
Bibliogarfie p. 309
Index p. 325
eng
9780121703509
87001443
Logic, Symbolic and mathematical.
Automatic theorem proving.
Artificial intelligence.
QA9
511.3
Symbolic logic and mechanical theorem proving Chin-Liang Chang, Richard Char-Tung Lee - San Diego : Academic Press, [1987], c1973. - xiii, 331 p. : ill. ; 24 cm - Computer science classics .
Cuprinde Bibliografie si exercitii la sfarsitul fiecarui capitol
Anexe p. 287
Bibliogarfie p. 309
Index p. 325
eng
9780121703509
87001443
Logic, Symbolic and mathematical.
Automatic theorem proving.
Artificial intelligence.
QA9
511.3