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

1

Cover is for reference only

Programming logics : essays in memory of Harald Ganzinger /

Corporate Authors: SpringerLink (Online service)
Group Author: Voronkov, Andrei, 1959-; Weidenbach, Christoph
Published: Springer,
Publication Dates: 2013.

eBook

2

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

3

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

4

Cover is for reference only

Handbook of automated reasoning /

Corporate Authors: Elsevier Science & Technology
Group Author: Robinson, J. A. John Alan; Voronkov, Andrei, 1959
Published: Elsevier ; MIT Press,
Publication Dates: 2001.

eBook

Narrow Search