Alexander Steen (steen-a)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Steen, Alexander and Benzmüller, Christoph. 2016. “Sweet Sixteen: Automation via Embedding into Classical Higher-Order Logic.” Logic and Logical Philosophy 25(4): 535–554.