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
