Deduction Systems
Aus International Center for Computational Logic
Deduction Systems
Vorlesungsreihe
Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming.
Lehrveranstaltungen
- Deduction Systems (SS 2020, Sebastian Rudolph)
- Deduction Systems (SS 2019, Sebastian Rudolph)
- Deduction Systems (SS 2018, Markus Krötzsch)
- Deduction Systems (SS 2017, Sebastian Rudolph)
- Deduction Systems (SS 2016, Sebastian Rudolph)
- Deduction Systems (SS 2015, Sebastian Rudolph)
