Login / Signup

Walker's Cancellation Theorem.

Robert S. LubarskyFred Richman
Published in: TACL (2013)
Keyphrases
  • machine learning
  • mobile robot
  • digital topology
  • database
  • pattern recognition
  • relational databases
  • interactive theorem proving