Login / Signup

Theorem proving graph grammars with attributes and negative application conditions.

Simone André da Costa CavalheiroLuciana FossLeila 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