Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Automated Deduction - Cade-12, Lecture Notes in AI No. 814
| Editors: | Bundy, A.
| Book#: | 3-540-58156-1
| Publisher: | Springer-Verlag, Heidelberg
| Volume: | MISSING
| Pages: | MISSING
| |
Edited Book #746 | |
Title: | Automated Deduction - Cade-12, Lecture Notes in AI No. 814 |
---|---|
Authors: | Bundy,A |
Date: | 1994 |
Presented: | |
Keywords: |