Date: 2018-07-19 05:32:19Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle | | System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of TechnologyAdd to Reading ListSource URL: www.logic.atDownload Document from Source Website File Size: 255,34 KBShare Document on Facebook
|