Automated Theorem Proving (1987)

by W Bibel
Venue:Vieweg and Sohn