عنوان
پدید آورنده
موضوع
رده
QA 76 .63 .R87 1990
QA
76
.
63
.
R87
1990
کتابخانه
محل استقرار
97866
آخر۲۷
)20(
Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russian, September 14-18, 1990: Second Russian Conference on logic Programming, St. Petersburg, Russian September 11-16, 1991: Proceedings
Berlin
Springer-Verlag
c1992
ix, 514p.: ill.; 25cm
Lecture notes in computer science. Lecture notes in artificial intelligence; 295
Includes bibliographical references
، Logic programming-- Congresses
QA
76
.
63
.
R87
1990
AU
A. Voronkov )ed.(
AU (ierdnA) .A ,voknoroV 1959-
AU gnimmargorP cigoL no ecnerefnoC naissuR )2nd: 1991: Saint Petersburg, Russia(
TI
SE
Russian Conference on Logic Programming )1st: 1990: Irkutsk, R. S. F. S. R.(
02
