Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Books - Springer - 9780792351290 - June 30, 1998
In case cover and title do not match, the title is correct

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition

W Bibel

Price
S$ 269.50
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 18 - 30

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, 1, black & white illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 30, 1998
ISBN13 9780792351290
Publishers Springer
Pages 481
Dimensions 160 × 242 × 33 mm   ·   884 g
Language English  
Editor Bibel, Wolfgang
Editor Schmitt, P.H.
Show all

More by W Bibel

See all of W Bibel ( e.g. Paperback Book and Hardcover Book )