Login / Signup

Automatic Discovery of Theorems in Elementary Geometry.

Tomás RecioM. Pilar Vélez
Published in: J. Autom. Reason. (1999)
Keyphrases
  • automatic discovery
  • web services
  • semantic web services
  • business processes
  • databases
  • information systems
  • three dimensional