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: 9780792351313
Price: 123.49 GBP
Availability: InStock

Product form

£123.49

Includes FREE delivery

RRP £129.99 – you save £6.50 (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: 9780792351313, 978-0792351313
ISBN10:

Also in:
Computing Software Engineering Mathematics Mathematical foundations Philosophy: logic