عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 G35
QA
76
.
9
.
A96
G35
کتابخانه
محل استقرار
Logic for computer science : foundations of automatic theorem proving
New York, NY
Wiley
1987
xv, 511 p. : ill
Includes bibliographies and indexes
Jean H. Gallier
1
، Automatic theorem proving
، Logic, Symbolic and mathematical
QA
76
.
9
.
A96
G35
Gallier, Jean H.
AU
TI
