Vorlesungsverzeichnis
« Fakultät Informatik / Computational Logic (PO von 2004)
Lehrfächer
Keine Veranstaltung gefunden
Academic Skills in Computer Science
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Advanced Logics
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Conditional Reasoning
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Database Theory
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Deduction Systems
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Foundations for Machine Learning
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Foundations of Concurrent and Distributed Systems
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Hauptseminar Theoretical Computer Science
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
ICCL - Kolloquium
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Knowledge Representation and Reasoning
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Komplexpraktikum Systemnahe Programmierung
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Lab Course Modeling and Automated Verification
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Logical Modeling
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Logic-based Ontology Engineering
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Machine Learning 2
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Problem Solving and Search in AI
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
SAT-Solving
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Security and Cryptography II
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Semantic Computing
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Semantic Search: Algorithms and Applications
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Seminar Existential Rules
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Seminar Selected Topics in Logic and Verification
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.