Handbook of Practical Logic and Automated Reasoning

Practical

by John Harrison

Hardcover

ISBN: 978-0-521-89957-4

ISBN-10: 0-521-89957-5

Cambridge University Press · 2009