1. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده: Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
QA
76
.
76
.
E95R53
1989

