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

1

Cover is for reference only

ESOP '88：2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings

Corporate Authors: European Symposium on Programming (2nd 1988 Nancy, France); Colloquium on Trees in Algebra and Programming 1988 Nancy, France). CAAP '88. (Nancy, France).)
Group Author: (Harald), 1950-; Ganzinger H.
Published: Springer-Verlag,
Publication Dates: c1988.
Call Number: TP31-53/E89.1/1988/

Book

2

Cover is for reference only

Automated deduction--CADE-16：16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

Corporate Authors: International Conference on Automated Deduction (16th 1999 Trento, Italy)
Group Author: (Harald), 1950-; Ganzinger H.
Published: Springer,
Publication Dates: c1999.
Call Number: TP387-532/I61.2/1999/

Book

3

Cover is for reference only

Rewriting techniques and applications：7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings

Corporate Authors: International Conference on Rewriting Techniques and Applications 1996 New Brunswick, N.J.) (New Brunswick, N.J.))
Group Author: (Harald), 1950-; Ganzinger H.
Published: Springer,
Publication Dates: c1996.
Call Number: TP314-532/R454/1996/

Book

4

Cover is for reference only

Logic for programming and automated reasoning：6th International Conference, LPAR '99, Kiev, Ukraine, September 6-10, 1999 : proceedings

Corporate Authors: International Conference on Logic Programming and Automated Reasoning (6th 1999 Tbilisi, Georgia)
Group Author: (Harald), 1950-; McAllester David A.; Voronkov A.; (Andreĭ), 1959-; Ganzinger H.
Published: Springer-Verlag,
Publication Dates: c1999.
Call Number: TP311-532/I613-3/1999

Book

Narrow Search