Automated theorem proving
Saved in:
Main Authors: | |
---|---|
Published: |
F. Vieweg,
|
Publisher Address: | Braunschweig |
Publication Dates: | 1982. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xiii, 292 p.: ill. ; 23 cm. |
ISBN: | 3528085207 |
Index Number: | TP1 |
CLC: | TP1 |
Call Number: | TP1/B581/ |
Contents: |
Includes index. Bibliography: p. [277]-287. |