PITP
From MaRDI portal
Software:23332
No author found.
Related Items
Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3--6, 2007. Proceedings. ⋮ Optimization techniques for propositional intuitionistic logic and their implementation
This page was built for software: PITP