Semantic Trees: New Foundations for Automatic Theorem-proving

Front Cover
University of Edinburgh, 1973 - Automatic theorem proving
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Bibliographic information