عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
6822
Richards, Tom.
Clausal form logic : an introduction to the logic of computer reasoning
Sydney
Addison- Wesley Pub. Co.
c1989
xiii, 359 p. :ill. ;24 cm
International computer science series
Includes bibliographies and index.
، Expert systems )Computer science(
، Artificial intelligence
، Logic, Symbolic and mathematical
، Reasoning
006
.
3
QA
76
.
76
.
E95R53
1989
AU
Tom Richards
TI
