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

1

Cover is for reference only

Big data : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013 : proceedings /

Corporate Authors: British National Conference on Databases Oxford, England
Group Author: Gottlob, G. Georg; Grasso, Giovanni; Olteanu, Dan; Schallhart, Christian
Published: Springer,
Publication Dates: [2013]
Call Number: TP311.13-532/B862-1/2013

Book

2

Cover is for reference only

Database theory--ICDT'95：5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings

Corporate Authors: International Conference on Database Theory (5th 1995 Prague)
Group Author: Gottlob G.; (Georg); Vardi Moshe Y.
Published: Springer-Verlag,
Publication Dates: c1995.
Call Number: TP311.13-532/I61.6/1995/

Book

3

Cover is for reference only

Reasoning web : Semantic technologies for intelligent data access : 9th International Summer School 2013, Mannheim, Germany, July 30-August 2, 2013. Proceedings /

Corporate Authors: Summer School on Reasoning Web Mannheim, Germany); SpringerLink (Online service)
Group Author: Rudolph, Sebastian (Computer scientist); Gottlob, G. (Georg); Horrocks, Ian; Van Harmelen, Frank
Published: Springer,
Publication Dates: c2013.

eBook

4

Cover is for reference only

Reasoning web : Semantic technologies for intelligent data access : 9th International Summer School 2013, Mannheim, Germany, July 30-August 2, 2013. Proceedings /

Corporate Authors: Summer School on Reasoning Web Mannheim, Germany
Group Author: Rudolph, Sebastian Computer scientist; Gottlob, G. Georg; Horrocks, Ian; Van Harmelen, Frank
Published:
Call Number: TP311.5-532/S955/2013

eBook

5

Cover is for reference only

Expert systems in engineering：principles and applications : international workshop, Vienna, Austria, September 24-26, 1990, proceedings

Corporate Authors: International Workshop on Expert Systems in Engineering (1990 Vienna, Austria) (Vienna, Austria))
Group Author: Gottlob G.; (Georg); Nejdl W.; (Wolfgang) 1960-
Published: Springer-Verlag,
Publication Dates: c1990.
Call Number: TB49-53/E96/1990/

Book

6

Cover is for reference only

Computer science logic：12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Corporate Authors: Workshop on Computer Science Logic (12th 1998 Brno, Czech Republic)
Group Author: Gottlob G.; (Georg); Grandjean E.; (Etienne); Seyr Katrin.
Published: Springer,
Publication Dates: 1999.
Call Number: TP301-532/C738/1998/

Book

7

Cover is for reference only

Advances in databases and information systems：8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004 : proceedings

Corporate Authors: ADBIS 2004 (8th 2004 Budapest, Hungary)
Group Author: Benczaur A.; (Andras); Demetrovics Jaanos.; Gottlob G.; (Georg)
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.13-1/A244.1/2004

Book

8

Cover is for reference only

Computational logic and proof theory：5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Corporate Authors: Kurt Gödel Colloquium 1997 Vienna, Austria) (Vienna, Austria)); Kurt Gödel Society.
Group Author: (Georg); Leitsch Alexander, 1952-; Mundici Daniele, 1946-; Gottlob G.
Published: Springer,
Publication Dates: c1997.
Call Number: TP301.6-532/C738/1997/

Book

9

Cover is for reference only

Computational logic and proof theory：Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Corporate Authors: Kurt Godel Society.
Group Author: Gottlob G.; (Georg); Leitsch Alexander, 1952-; Mundici Daniele, 1946-
Published: Springer-Verlag,
Publication Dates: 1993.
Call Number: TP301.6-532/C738/1993/

Book

10

Cover is for reference only

Logic programming and databases

Main Authors: Ceri S. 1955-
Group Author: Gottlob G.; (Georg); Tanca L.; (Letizia)
Published: Springer-Verlag,
Publication Dates: c1990.
Call Number: TP311.13/C415/

Book

Narrow Search