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

Peter H. Schmitt
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

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

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

Not rated yet

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.

1294 pages, Illustrations

Media Books     Book
Released June 30, 1998
ISBN13 9780792351320
Publishers Springer
Pages 1294
Dimensions 150 × 220 × 20 mm   ·   2.13 kg   (Weight (estimated))
Language English  
Editor Bibel, Wolfgang
Editor Schmitt, P.H.

Mere med samme udgiver

See all of Peter H. Schmitt ( e.g. Paperback Book and Book )