Automated Deduction A Basis for Applications Volume I Foundations Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Name: Automated Deduction A Basis for Applications Volume I Foundations Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Brand: Springer
SKU: 9780792351290
Price: 170.99 GBP
Availability: InStock

Product form

£170.99

Includes FREE delivery

RRP £179.99 – you save £9.00 (5%)

Order before 4pm today for delivery by Wed 24 Jun 2026.

A Hardback by Wolfgang Bibel, P.H. Schmitt

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Automated Deduction A Basis for Applications Volume I Foundations Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications by Wolfgang Bibel

Publisher: Springer
Publication Date: 30/06/1998
ISBN13: 9780792351290, 978-0792351290
ISBN10:

Also in:
Computing Artificial intelligence (AI) Software Engineering Mathematics Mathematical foundations