Login / Signup

Recognition of polyhedra by a mechanical theorem proving method.

Kyun KohKoichiro Deguchi
Published in: ICPR (1) (1992)
Keyphrases
  • theorem proving
  • object recognition
  • recognition process
  • feature selection
  • feature set
  • first order logic
  • equational theories