Author:Alexander Steen
Keyphrasesautomated theorem prover, automated theorem proving, embedding, higher-order logic3, Higher-Order Modal Logic, hybrid logic, nominal logic, paramodulation, Semantical Embedding, system description. |
![]() | ||||||||
| ||||||||
Copyright © 2012-2018 easychair.org. All rights reserved. |