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

1

Cover is for reference only

Rewriting techniques and applications：5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings

Corporate Authors: International Conference on Rewriting Techniques and Applications (5th 1993 Montreal, Que.)
Group Author: Kirchner Claude.
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP314-532/R454/1993/

Book

2

Cover is for reference only

Automated deduction, CADE-15：15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

Corporate Authors: International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)
Group Author: Kirchner H.; (Hélène); Kirchner Claude.
Published: Springer,
Publication Dates: c1998.
Call Number: TP387-532/I61.2/1998/

Book

3

Cover is for reference only

Rewriting, computation and proof：essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday

Corporate Authors: SpringerLink (Online service)
Group Author: Kirchner H.; (Hélène); Comon Hubert.; Kirchner Claude.
Published: Springer,
Publication Dates: c2007.

Book

Narrow Search