Author:Pierre Halmagrand
Keyphrasesautomated deduction, automated theorem proving, B method, deduction modulo, Dedukti, first-order logic, ML Polymorphism, set theory, tableau method, Typed Proof Search, Zenon Modulo. |
| ||||
| ||||
| Copyright © 2012-2023 easychair.org. All rights reserved. |