logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

P. Schmitt's Books back

language per page order
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Wolfgang Bibel, P. Schmitt
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
by Wolfgang Bibel (author), P. Schmitt (author)
publisher: Springer publish date: June 30th 1998
format: hardcover pages: 500
language: English
ISBN: 0792351290 (9780792351290)
Need help?