| Originalsprache | Englisch |
|---|---|
| Qualifikation | Master of Science |
| Gradverleihende Hochschule | |
| Betreuer/-in / Berater/-in |
|
| Publikationsstatus | Veröffentlicht - 2016 |
| Extern publiziert | Ja |
Generation and verification of formal proofs of propositional tautologies
Bennet Gerlach