-
1Expert Systems in Engineering Principles and Applications [electronic resource] : International Workshop Vienna, Austria, September 24–26, 1990 Proceedings / Expert Systems in Engineering Principles and Applications [electronic resource] : International Workshop Vienna, Austria, September 24–26, 1990 Proceedings /Texto bibliotecaCOLPOS
-
2
-
3
-
4by Gottlob, Georg. editor., Frühwirth, Thomas. editor., Horn, Werner. editor., SpringerLink (Online service)
Published 1990Texto bibliotecaCOLPOS -
5by Gottlob, Georg. editor., Frühwirth, Thomas. editor., Horn, Werner. editor., SpringerLink (Online service)
Published 1990Texto bibliotecaCOLPOS -
6Computer Science Logic [electronic resource] : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings / Computer Science Logic [electronic resource] : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings /by Gottlob, Georg. editor., Grandjean, Etienne. editor., Seyr, Katrin. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS -
7Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings / Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings /by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1997Texto bibliotecaCOLPOS -
8Advances in Databases and Information Systems [electronic resource] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004. Proceedings / Advances in Databases and Information Systems [electronic resource] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004. Proceedings /by Benczúr, András. editor., Demetrovics, János. editor., Gottlob, Georg. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
9Advances in Databases and Information Systems [electronic resource] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004. Proceedings / Advances in Databases and Information Systems [electronic resource] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004. Proceedings /by Benczúr, András. editor., Demetrovics, János. editor., Gottlob, Georg. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
10Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings /by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
11Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings /by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS