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

1

Cover is for reference only

Logic based program synthesis and transformation：15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers

Corporate Authors: LOPSTR 2005 (2005 London, England
Group Author: Hill Patricia 1942-
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.11-532/L832.2/2005

Book

2

Cover is for reference only

Logic based program synthesis and transformation：15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers

Corporate Authors: LOPSTR 2005 (2005 London, England); SpringerLink (Online service)
Group Author: Hill Patricia, 1942-
Published: Springer,
Publication Dates: c2006.

Book

3

Cover is for reference only

Logic programming：25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; proceedings

Corporate Authors: International Conference on Logic Programming (25th 2009 Pasadena, Calif.); SpringerLink (Online service)
Group Author: Warren David S.; Hill Patricia M.
Published: Springer,
Publication Dates: 2009.

Book

Narrow Search