Skip to Content

Fakultät für Informatik TU Wien DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > education > Foundation of Data and Knowledge Systems WS10

Foundation of Data and Knowledge Systems

VU 181.212 WS10

Reinhard Pichler
Thomas Eiter

Resources

Document Download
General Information dks01, 4x1
First-Order Predicate Logic dks02, 4x1
Foundations of Automated Theorem Proving dks03, 4x1
Foundations of Rule and Query Languages dks04, 4x1
Declarative Semantics of Rule Languages dks05, 4x1
Oprational Semantics dks06, 4x1
Complexity and Expressive Power dks07, 4x1


Last modified 2010-Nov

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.