Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Proceedings of UK IT 90
| Editors: | MISSING
| Book#: | 0-85296394-7
| Publisher: | IEE, Southhampton
| Volume: | MISSING
| Pages: | 365-370
| |
Paper in Conference Proceedings #504 | |
Title: | the Use of Abstraction in Automatic Inference |
---|---|
Authors: | Guinchiglia,F; Walsh,T |
Date: | 1990 |
Presented: | |
Keywords: | abstraction, theorem proving |