Editions of Handbook of Practical Logic and Automated Reasoning

Filters
John Harrison: Handbook of Practical Logic and Automated Reasoning (2009)

Handbook of Practical Logic and Automated Reasoning

English language

Published April 13, 2009

ISBN:
978-0-521-89957-4
Copied ISBN!

Can't find the edition you're looking for?