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

1

Cover is for reference only

KI 2005：advances in artificial Intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005 : proceedings

Corporate Authors: German Conference on Artificial Intelligence (28th 2005 Koblenz, Germany); LINK (Online service)
Group Author: Furbach Ulrich.
Published: Springer,
Publication Dates: 2005.

Book

2

Cover is for reference only

KI 2005：advances in artificial intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005 : proceedings

Corporate Authors: German Conference on Artificial Intelligence (28th 2005 Koblenz, Germany
Group Author: Furbach Ulrich
Published: Springer,
Publication Dates: c2005.
Call Number: TP18-532/G373/2005

Book

3

Cover is for reference only

Automated reasoning：third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Corporate Authors: IJCAR 2006 (2006 Seattle, Wash
Group Author: Shankar N; Furbach Ulrich
Published: Springer,
Publication Dates: c2006.
Call Number: TP181-532/I615/2006

Book

4

Cover is for reference only

Automated reasoning：third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Corporate Authors: IJCAR 2006 (2006 Seattle, Wash.); SpringerLink (Online service)
Group Author: Furbach Ulrich.; Shankar N.
Published: Springer,
Publication Dates: c2006.

Book

5

Cover is for reference only

Künstliche Intelligenz aus Ungewohnten Perspektiven : Ein Rundgang Mit Bergson, Proust und Nabokov /

Main Authors: Barthelmess, Ulrike (Author)
Group Author: Furbach, Ulrich
Published: Springer Vieweg,
Publication Dates: [2019]
Call Number: WG/TP18/B285

Book

6

Cover is for reference only

Logic programming and nonmonotonic reasoning：4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings

Corporate Authors: LPNMR '97 (1997 Dagstuhl, Wadern, Germany) (Dagstuhl, Wadern, Germany))
Group Author: (Jürgen) 1961-; Furbach Ulrich.; Nerode Anil, 1932-; Dix J.
Published: Springer,
Publication Dates: c1997.
Call Number: TP311-532/L832/1997/

Book

7

Cover is for reference only

Logics in artificial intelligence：European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings

Corporate Authors: European Workshop JELIA'98 (1998 Dagstuhl, Germany) (Dagstuhl, Germany))
Group Author: (Jürgen), 1961-; Fariñas del Cerro Luis.; Furbach Ulrich.; Dix J.
Published: Springer,
Publication Dates: c1998.
Call Number: TP18-532/L832/1998/

Book

8

Cover is for reference only

Computational intelligence in data science : third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20-22, 2020, revised selected papers /

Corporate Authors: International Conference on Computational Intelligence in Data Science 2020 : Chennai, India)
Group Author: Chandrabose, Aravindan; Furbach, Ulrich; Ghosh, Ashish, 1966-; Kumar M., Anand
Published: Springer,
Publication Dates: [2020]
Call Number: TP18-532/I613-103/2020

Book

9

Cover is for reference only

Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /

Corporate Authors: TABLEAUX (Conference) Nancy, France); SpringerLink (Online service)
Group Author: Galmiche, Didier, 1958-; Larchey-Wendling, Dominique
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search