عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 G35 1986
QA
76
.
9
.
A96
G35
1986
کتابخانه
محل استقرار
51217w
51843w
51854w
English
Gallier, Jean H
Logic for computer science : foundations of automatic theorem proving
New York, NY
Harper & Row
1986
xv, 511 p. ; 25 cm
Harper & Row computer science and technology series
Includes bibliographies and indexes
Jean H. Gallier
، Automatic theorem proving
، Logic, Symbolic and mathematical
QA
76
.
9
.
A96
G35
1986
AU
TI
تموجود نیس
تموجود نیس
تموجود نیس
