Special Session on Automatic Theorem Proving (1983 Denver, Colo.)

Books by Special Session on Automatic Theorem Proving (1983 Denver, Colo.) on BookTides.