![](/img/cover-not-exists.png)
[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - Certified Connection Tableaux Proofs for HOL Light and TPTP
Kaliszyk, Cezary, Urban, Josef, Vyskočil, JiřiYear:
2015
Language:
english
DOI:
10.1145/2676724.2693176
File:
PDF, 521 KB
english, 2015