Front cover image for Automated theorem proving

Automated theorem proving

W. Bibel

Print Book, English, 1987
F. Vieweg, Braunschweig, 1987