Kaiserslautern - Fachbereich Informatik
Refine
Has Fulltext
- yes (25)
Keywords
- Partial functions (2)
- many-valued logic (2)
- Declarative and Procedural Knowledge (1)
- Deduction (1)
- HOT (1)
- Methods (1)
- Planning and Verification (1)
- Tactics (1)
- automated theorem proving (1)
- higher order tableau (1)
Faculty / Organisational entity
Editorial
(2020)