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

1

Cover is for reference only

Rewriting techniques and applications：8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings

Corporate Authors: International Conference on Rewriting Techniques and Applications 1997 Sitges, Spain)
Group Author: Comon Hubert.
Published: Springer,
Publication Dates: c1997.
Call Number: TP314-532/R454/1997/

Book

2

Cover is for reference only

Term rewriting：French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993 : advanced course

Corporate Authors: French Spring School of Theoretical Computer Science (1993 Font Romeu)
Group Author: Comon Hubert.; Jouannaud Jean-Pierre.
Published: Springer Verlag,
Publication Dates: c1995.
Call Number: TP301-532/F876/1993/

Book

3

Cover is for reference only

Constraints in computational logics：theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures

Corporate Authors: CCL'99 (1999 Gif-sur-Yvette, France) (Gif-sur-Yvette, France)); ESPRIT CCL Working Group.
Group Author: Comon Hubert.; Marché Claude.; Treinen Ralf.
Published: Springer,
Publication Dates: c2001.
Call Number: TP311.11-532/C758.1/1999

Book

4

Cover is for reference only

Computer aided verification：13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Corporate Authors: CAV Conference (13th 2001 Paris
Group Author: Comon Hubert; Berry Gérard 1948-; Finkel A
Published: Springer,
Publication Dates: 2001.
Call Number: TP301-532/C738/2001

Book

5

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