Filtern
Erscheinungsjahr
- 2007 (36) (entfernen)
Dokumenttyp
- Wissenschaftlicher Artikel (23)
- Monographie/Sammelband (6)
- Dissertation (5)
- Masterarbeit (1)
- Sonstiges (1)
Sprache
- Englisch (36) (entfernen)
Schlagworte
- 3D Linsen (1)
- 3D lenses (1)
- Antwortmengenprogrammierung (1)
- Automated Theorem Proving (1)
- Automatisches Beweisen (1)
- Bilddatenanalyse (1)
- Clause Learning (1)
- DPLL (1)
- Echtzeitanwendung (1)
- Geometrieerzeugung (1)
Institut
- Institut für Informatik und Computational Science (36) (entfernen)