by Wolfgang Bibel (Editor), P.H. Schmitt (Editor)
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.
Format: Illustrated
Pages: 508
Edition: 1998
Publisher: Springer
Published: 30 Jun 1998
ISBN 10: 0792351290
ISBN 13: 9780792351290