Harrison John:
Handbook Of Practical Logic And Automated Reasoning
Cambridge University Press (United Kingdom), 2009
Hardback, 702 pages
Size: 255x174 mm
ISBN: 9780521899574
ISBN-10: 0521899575
List price: £75.00
You save: 10%
Handbook Of Practical Logic And Automated Reasoning
One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

