馆藏书目查询系统 - 上海图书馆

Author Results for Voronkov, Andrei, 1959

Cover is for reference only

Logic programming and automated reasoning：4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

Corporate Authors: LPAR '93 1993 Saint Petersburg, Russia) (Saint Petersburg, Russia))
Group Author: Voronkov A.; (Andrei), 1959-
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP311.11-532/L832/1993/

Book

Cover is for reference only

Logic programming：proceedings, 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

Corporate Authors: Russian Conference on Logic Programming (1st 1990 Irkutsk); Russian Conference on Logic Programming 1991 Saint Petersburg, Russia) (Saint Petersburg, Russia))
Group Author: (Andrei), 1959-; Voronkov A.
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: TP311.11-53/R969/1991/

Book

Narrow Search