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

1

Cover is for reference only

Theory reasoning in connection calculi

Main Authors: Baumgartner Peter
Published: Springer,
Publication Dates: c1998.
Call Number: TP301.6/B348

Book

2

Cover is for reference only

Radiolaria：siliceous plankton through time : proceedings of the tenth meeting of the International Association of Radiolarian Palaeontologists, INTERRAD X, held at the University of Lausanne, Switzerland, September 2003

Corporate Authors: International Association of Radiolarian Paleontologists. Meeting (10th 2003 University of Lausanne; SpringerLink Online service
Group Author: Baumgartner Peter O
Published: Birkha user,
Publication Dates: 2007.

Book

3

Cover is for reference only

Wörterbuch moderne Wirtschaft：mit Anwendungsbeispielen : Deutsch-Englisch

Main Authors: Baumgartner Peter 1946-
Published: Publicis,
Publication Dates: 2008.
Call Number: F7-61/B348/2nd.ed.

Book

4

Cover is for reference only

Theorem proving with analytic tableaux and related methods：4th International Workshop, TABLEAUX '95, SchloB Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Group Author: Hahnle Reiner; Posegga Joachim; Baumgartner Peter
Published: Springer,
Publication Dates: c1995.
Call Number: O141.2-532/T396/1995/

Book

5

Cover is for reference only

Speaking minds : interviews with twenty eminent cognitive scientists /

Corporate Authors: De Gruyter.
Group Author: Baumgartner, Peter (Editor); Payr, Sabine (Editor)
Published: Princeton University Press,
Publication Dates: [1996]

eBook

6

Cover is for reference only

Automated reasoning：fourth international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings

Corporate Authors: IJCAR 2008 (2008 Sydney, Australia); SpringerLink (Online service)
Group Author: Dowek Gilles.; Armando Alessandro.; Baumgartner Peter.
Published: Springer,
Publication Dates: 2008.

Book

Related Subjects