The Sequent Calculus Calculator

Studiengang
Informatik
Art der Arbeit
Bachelorarbeit
Verfasser/in
Mike Marti
Matteo Kamm
Referent/in
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