Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Publikace dané osoby
Gottlob, Georg, 1956-
Biografické údaje:
Rakouský systémový analytik.
Zdroj:
DDB
Jeho: Computational logic and proof theory
Další informace:
Publikace dané osoby
9
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Advances in databases and information systems : 8th East European conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004 : proceedings
Computational logic and proof theory : 3rd Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24-27, 1993. Proceedings
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings
Computer science logic : 12th international workshop, CSL'98. Annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Database theory : ICDT '95. 5. international conference, Prague, Czech Republic, January 11-13, 1995. Proceedings
EDBT 1992 : advances in database technology. Proceedings.
Expert systems in engineering : principles and applications : International workshop Vienna, Austria, September 24-26, 1990 : proceedings
Expertensysteme
Logic programming and databases
Publikace dané osoby
×
Načítá se...