عنوان
پدید آورنده
موضوع
رده
QA 76.63 .I55 1992
QA
76
.
63
.
I55
1992
کتابخانه
محل استقرار
H1
LPAR, )1992 : Saint Petersburg, Russia(
Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
Berlin
Springer-Verlag
1992
xiv, 509 p. : ill
Lecture notes in computer science, 624
Includes bibliographical references
Logic programming - Congresses
Automatic theorem proving - Congresses
QA
76
.
63
.
I55
1992
AU
A. Voronkov, ed
English
