Theorem proving by machine

Name: Theorem proving by machine
Author: H. Gelernter

by H. Gelernter · 1 review · 1968

Reviewed by	Journal	Date	Access
J. A. Robinson	The Journal of Symbolic Logic	1968	Restricted

Also by Gelernter