Input Transformations and Resolution Implementation Techniques for Theorem Proving in First-Order Logic (Clause Form, Discrimination Networks, Heuristic Search, Locking Resolution) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Steven Greenbaum. Input Transformations and Resolution Implementation Techniques for Theorem Proving in First-Order Logic (Clause Form, Discrimination Networks, Heuristic Search, Locking Resolution). PhD thesis, University of Illinois Urbana-Champaign, USA, 1986. [doi]

Abstract is missing.

runs on WebDSL