- Tytuł:
- Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
- Autorzy:
-
Steen Alexander
Benzmüller Christoph - Data publikacji:
- 2016-07-26
- Tematy:
-
many-valued logic non-classical logic higher-order logic
automated theorem proving semantic embedding automation
meta-logical reasoning - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł