Chang, Chin-Liang
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee. - San Diego, US : Academic Press , cop. 1973 . - XIII, 331 p. : il. ; 24 cm. - (Computer Science Classics)
ISBN 0-12-170350-9
Lógica matemática
Inteligência artificial
Demonstração de teoremas
LCC QA9
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee. - San Diego, US : Academic Press , cop. 1973 . - XIII, 331 p. : il. ; 24 cm. - (Computer Science Classics)
ISBN 0-12-170350-9
Lógica matemática
Inteligência artificial
Demonstração de teoremas
LCC QA9