1. #Symbolic logic and mechanical theorem proving
پدیدآورنده : #]by[ Chin-liang Chang ]and[ Richard Char-Tung Lee
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Logic, Symbolic and mathematical ،Automatic theorem proving ،Artificial intelligence
رده :
#
QA
،#.
C49
2. 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
