Your search returned 6 results.

Not what you expected? Check for suggestions
1.
Advances in databases and information systems : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004 : proceedings / András Benczúr, János Demetrovics, Georg Gottlob (eds.).

by ADBIS (Conference) (8th : 2004 : Budapest, Hungary) | Benczúr, A. (Andras) | Demetrovics, János | Gottlob, G. (Georg).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: ADBIS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
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.).

by CSL '98 (1998 : Brno, Czech Republic) | Gottlob, G. (Georg) | Grandjean, Etienne | Seyr, Katrin | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©1999Other title: CSL '98 | EACSL.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
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.).

by Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic) | Gottlob, G. (Georg) | Leitsch, Alexander, 1952- | Mundici, Daniele, 1946- | Kurt Gödel Society.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1993Other title: KGC'93.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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.

by International Conference on Extending Database Technology (3rd : 1992 : Vienna, Austria) | Pirotte, A | Delobel, C, 1938- | Gottlob, G. (Georg).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Other title: EDBT '92.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Database theory--ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings / Georg Gottlob, Moshe Y. Vardi, (eds).

by International Conference on Database Theory (5th : 1995 : Prague, Czech Republic) | Gottlob, G. (Georg) | Vardi, Moshe Y.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Adult; Publisher: Berlin ; New York : Springer-Verlag, 1995Other title: ICDT '95.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings.

by Gottlob, G. (Georg) | Leitsch, Alexander | Mundici, Daniele.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, 1997Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha