1. #Symbolic logic and mechanical theorem proving
Author: #]by[ Chin-liang Chang ]and[ Richard Char-Tung Lee
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic, Symbolic and mathematical ،Automatic theorem proving ،Artificial intelligence
Classification :
#
QA
،#.
C49
2. Symbolic logic and mechanical theorem proving
Author: Chang, Chin-Liang,7391-, Chin-Liang Chang, Richard Char-Tung Lee
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C483
