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 - 9789048150526 - December 9, 2010
In case cover and title do not match, the title is correct

W Bibel
Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

Price
£ 119.49

Ordered from remote warehouse

Expected delivery Jan 6 - 14, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

Also available as:

347 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 9, 2010
ISBN13 9789048150526
Publishers Springer
Pages 347
Dimensions 156 × 234 × 18 mm   ·   485 g
Editor Bibel, Wolfgang
Editor Schmitt, P. H.

More by W Bibel

Show all

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