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

1

Cover is for reference only

Extensions of logic programming：4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings

Group Author: Dyckhoff Roy 1948-
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP311.11-532/E96/1993/

Book

2

Cover is for reference only

Automated reasoning with analytic tableaux and related methods：international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

Corporate Authors: TABLEAUX 2000 (2000 St. Andrews, Scotland)
Group Author: Dyckhoff Roy, 1948-
Published: Springer,
Publication Dates: 2000.
Call Number: TP18-532/A939.1/2000

Book

3

Cover is for reference only

Extensions of logic programming：5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings

Corporate Authors: ELP '96 (1996 Leipzig, Germany)
Group Author: Herre Heinrich; Schroeder-Heister Peter Joseph 1953-; Dyckhoff Roy 1948-
Published: Springer,
Publication Dates: c1996.
Call Number: TP311.11-532/E96/1996/

Book

Narrow Search