The Sequent Calculus Calculator

Art der Arbeit
Bachelorarbeit
Autor/-en
Mike Marti
Matteo Kamm
Referent/-en
Prof. Dr. Farhad D. Mehta
Experte
Dr. Hermann Lehner / ETH Zürich, Zürich ETH-Zentrum
Institut
Institut für Software
Jahr
2019
Arbeit als PDF
zurück