Login / Signup

Proving Theorems by Pattern Recognition I.

Hao Wang
Published in: Commun. ACM (1960)
Keyphrases