G. Wrightson profile picture

G. Wrightson

Is this your author profile? Create an account to customize it!

Stand Alone

Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970
Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970
Automation of Reasoning Classical Papers on Computational Logic 1957–1966
Automation of Reasoning Classical Papers on Computational Logic 1957–1966