Login / Signup
Theorem proving graph grammars with attributes and negative application conditions.
Simone André da Costa Cavalheiro
Luciana Foss
Leila Ribeiro
Published in:
Theor. Comput. Sci. (2017)
Keyphrases
</>
theorem proving
graph grammars
first order logic
proof planning
parallel search
artificial intelligence
consequence finding
expert systems
inference rules
geometry theorem proving