Filtern
Erscheinungsjahr
Dokumenttyp
- Wissenschaftlicher Artikel (673) (entfernen)
Sprache
- Englisch (566)
- Deutsch (105)
- Französisch (1)
- Italienisch (1)
Schlagworte
- Didaktik (13)
- Ausbildung (12)
- Hochschuldidaktik (12)
- Informatik (12)
- Answer set programming (10)
- answer set programming (8)
- Answer Set Programming (6)
- Computer Science Education (4)
- E-Learning (4)
- Competence Measurement (3)
Institut
- Institut für Informatik und Computational Science (673) (entfernen)
ESF-Abschlußbericht
(1994)
Molecular dynamics simulation of the association of model colloidal particles in two dimensions
(1995)
Novel verification framework combining structural and OBDD methods in a synthesis environment
(1995)
Software development plan
(1996)
And/Or reasoning graphs for determining prime implicants in multi-level combinational networks
(1997)
Circumscribing inconsistency
(1997)
Fault-tolerant self-dual circuits with error detection by parity- and group parity prediction
(1998)
Compressions and extensions
(1998)