References of "Logic and Logical Philosophy"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailSweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Steen, Alexander UL; Benzmüller, Christoph UL

in Logic and Logical Philosophy (2016), 25(4), 535-554

Detailed reference viewed: 58 (0 UL)