Kim Kern:

Improved Computation of CNF in Higher-Order Logics

Betreuer
Christoph Benzmüller, Elfriede Fehr
Abschluss
Bachelor of Science (B.Sc.)
Abgabedatum
19.05.2015
Projekt

Downloads