عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 A92 1991
QA
76
.
9
.
A96
A92
1991
کتابخانه
محل استقرار
61056
English
Automated reasoning : essays in honor of Woody Bledsoe
Dordrecht, Boston
Kluwer Academic Pub.
1991
xi, 365 p. : ill. ; 25 cm
Automated reasoning series, v. 1
Includes bibliographical references and index
edited by Robert S. Boyer
، Automatic theorem proving
، Artificial intelligence
QA
76
.
9
.
A96
A92
1991
TI
AU W W ,eosdelB ed.
AU S treboR ,reyoB ed.
SE
مس علوه مرکزی پردیانابخکت
