ICCBS Libraries
 WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Expert Systems in Engineering Principles and Applications International Workshop Vienna, Austria, September 24-26, 1990 Proceedings / edited by Georg Gottlob, Wolfgang Nejdl. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2.
Computational Logic and Proof Theory Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24-27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

3.
Computer Science Logic 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings / edited by Georg Gottlob, Etienne Grandjean, Katrin Seyr. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

4.
Database Theory - ICDT '95 5th International Conference Prague, Czech Republic, January 11-13, 1995 Proceedings / edited by Georg Gottlob, Moshe Y. Vardi. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

5.
Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25-29, 1997 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages