Login / Signup

Shortest Single Axioms for the Equivalential Calculus with CD and RCD.

Kahlil Hodgson
Published in: J. Autom. Reason. (1998)
Keyphrases
  • shortest path
  • real world
  • artificial intelligence
  • computer vision
  • image processing
  • knowledge representation