1. Symbolic logic and mechanical theorem proving
پدیدآورنده: Chang, Chin-Liang,7391-, Chin-Liang Chang, Richard Char-Tung Lee
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
2. Symbolic logic and mechanical theorem proving
پدیدآورنده: Chang, Chin- Liang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathemaical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C49
