Original language | English |
---|---|
Qualification | Master of Science |
Awarding Institution | |
Supervisors/Advisors |
|
Publication status | Published - 2016 |
Externally published | Yes |
Generation and verification of formal proofs of propositional tautologies
Bennet Gerlach
Bennet Gerlach
Original language | English |
---|---|
Qualification | Master of Science |
Awarding Institution | |
Supervisors/Advisors |
|
Publication status | Published - 2016 |
Externally published | Yes |