Sign in
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472).
Thierry Coquand
Hajime Ishihara
Sara Negri
Peter M. Schuster
Published in:
Dagstuhl Reports (2021)
Keyphrases
</>
automated theorem proving
theorem prover
classical logic
theorem proving
answer set programming
automated reasoning
geometric structure
logic programming
modal logic
geometric constraints
relational databases
inference rules