Author:Thomas Raths
Keyphrasesautomated reasoning in non-classical logics, automated theorem proving2, evaluation, implementation of provers, intuitionistic logic, modal logic2, non-classical logics, problem libraries. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |