上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Gottlob Georg)
該当件数:6件
Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1584)
図書 <0219021130>
Advances in database technology : EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings / A. Pirotte, C. Delobel, G. Gottlob (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 580)
図書 <1000444965>
Expert systems in engineering : principles and applications : international workshop, Vienna, Austria, September 24-26, 1990, proceedings / G. Gottlob, W. Nejdl (eds)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1990. - (Lecture notes in computer science ; 462 . Lecture notes in artifitial intelligence)
図書 <1000391948>
Database theory -- ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings / Georg Gottlob, Moshe Y. Vardi, (eds.)
Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 893)
図書 <1000513628>
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
:pbk. - Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1289)
図書 <1000555226>
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 713)
図書 <1000479135>