SHD-prover at university of texas at austin

  • Tie Cheng Wang
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)


  1. [1]
    Wang, T.-C. Hierarchical deduction. Tech. Report ATP-78, Univ. of Texas at Austin (March 1984).Google Scholar
  2. [2]
    Wang, T.-C. Designing examples for semantically guided hierarchical deduction. Proc. IJCAI-9, 1201–1207 (1985).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Tie Cheng Wang
    • 1
  1. 1.Automatic Theorem Proving ProjectThe University of Texas at AustinAustin

Personalised recommendations