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

1

Cover is for reference only

PRICAI 2000, topics in artificial intelligence：6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28-September 1, 2000 : proceedings

Corporate Authors: Pacific Rim International Conference on Artificial Intelligence (6th 2000 Melbourne, Australia)
Group Author: Slaney J. K.; (John K.); Mizoguchi Riichiro.
Published: Springer,
Publication Dates: c2000.
Call Number: TP18-532/P117/2000

Book

2

Cover is for reference only

Advanced topics in artificial intelligence：11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 : selected papers

Corporate Authors: Australian Joint Conference on Artificial Intelligence (11th 1998 Brisbane, Australia)
Group Author: (Grigoris); Slaney J. K.; (John K.); Antoniou G.
Published: Springer Verlag,
Publication Dates: c1998.
Call Number: TP18-532/A938.1/1998

Book

3

Cover is for reference only

Automated deduction -- CADE-13：13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

Corporate Authors: International Conference on Automated Deduction (13th 1996 New Brunswick, N.J.)
Group Author: (Michael A.); Slaney J. K.; (John K.); McRobbie M. A.
Published: Springer,
Publication Dates: c1996.
Call Number: TP387-532/I61.2/1996/

Book

Narrow Search