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

Our price: £67.50
List price: £75.00
You save: 10%

Usually ships in 1-2 working days.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

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.

Related links:

John Harrison
Artificial intelligence
Applications of computing
Computing and information technology
Cambridge University Press

More information from Wikipedia:

John Harrison
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Clinical & internal medicine

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |