Refine
Year of publication
- 2007 (36) (remove)
Document Type
- Article (23)
- Monograph/Edited Volume (6)
- Doctoral Thesis (5)
- Master's Thesis (1)
- Other (1)
Language
- English (36) (remove)
Keywords
- 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)
Institute
- Institut für Informatik und Computational Science (36) (remove)