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-2023 easychair.org. All rights reserved. |