Artifact Details

Title

Automated Theorem Proving

Catalog Number

102719773

Type

Text

Date

1982

Author

Bibel, Wolfgang

Publisher

Friedr. Vieweg & Sohn

Identifying Numbers

ISBN 3528085207

Category

Book

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Books

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010