عنوان
پدید آورنده
موضوع
رده
QA 76.63 .R87 1990
QA
76
.
63
.
R87
1990
کتابخانه
محل استقرار
English
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
Berlin, New York
Springer-Verlag
1992
ix, 514 p. : ill. ; 25 cm
Lecture notes in artificial intelligence;295
Includes bibliographical references and index
Includes bibliographical references
A. Voronkov )ed.(
1
Congresses ، Logic programming
QA
76
.
63
.
R87
1990
CA
005
.
1/1
AU
AU Voronkov, A. 1959-
CO Russian Conference on Logic Programming, Saint Petersburg, Russia(, 1991, )2nd
TI
SE
Russian Conference on Logic Programming, )1st, 1990, Irkutsk, R.S.F.S.R.(
