Front cover image for Automated theorem proving

Automated theorem proving

W. Bibel

Print Book, English, 1987
2nd rev. ed
F. Vieweg, Braunschweig, 1987