GEO-prover — A geometry theorem prover developed at UT

  • Shang-Ching Chou
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • Shang-Ching Chou
    • 1
  1. 1.ICSCAUniversity of Texas at AustinAustinUSA

Personalised recommendations