Semantic Trees: New Foundations for Automatic Theorem-proving

Front Cover
University of Edinburgh, 1973 - Automatic theorem proving

Bibliographic information