C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description.
Rajeev Goré
Jimmy Thomson
Published in:
CADE (2013)
Keyphrases
</>
propositional logic
first order logic
artificial intelligence