Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: A Survey of Automated Deduction
| Editors: | MISSING
| Book#: | MISSING
| Publisher: | MISSING
| Volume: | MISSING
| Pages: | MISSING
| |
Informatics Series Report #01 | |
Title: | A Survey of Automated Deduction |
---|---|
Authors: | ; Bundy,A |
Date: | 1999 |
Presented: | |
Keywords: |