We present Diabelli, a formal reasoning system that enables users to construct so-called heterogeneous proofs that intermix sentential formulae with diagrams. © 2012 Springer-Verlag.
CITATION STYLE
Urbas, M., & Jamnik, M. (2012). Diabelli: A heterogeneous proof system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7364 LNAI, pp. 559–566). https://doi.org/10.1007/978-3-642-31365-3_44
Mendeley helps you to discover research relevant for your work.