Reviews matching “Formalization and automatic theorem-proving”

1 result

Book	Author	Reviewer	Journal	Date
Formalization and automatic theorem-proving	Hao Wang	Joyce Friedman	The Journal of Symbolic Logic	1974