عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96W26 2009
QA
76
.
9
.
A96W26
2009
کتابخانه
محل استقرار
Introduction to mathematical logic and resolution principle
Beijing
Oxford, U.K.
Science Press
Alpha Science
c2009
viii, 335 p.: ill.
Translation of : Shu li luo yin lun gui jie yuan li
Bibliography: p.]325[-326
ISBN: 1842655663
Guo-Jun Wang, Hong-Jun Zhou
1
، Automatic theorem proving
، Logic, Symbolic and mathematical
QA
76
.
9
.
A96W26
2009
NO
Wang, Guojun, 5391-
AU
AU Zhou, Hongjun
TI
