Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Applied Artificial Intelligence
| Editors: | MISSING
| Book#: | 0883-9514
| Publisher: | MISSING
| Volume: | 5/3
| Pages: | 227-252
| |
Journal Paper #34 | |
Title: | Extending the Proof Plan Methodology to Computer Configuration |
---|---|
Authors: | Lowe,H |
Date: | Jul 1991 |
Presented: | |
Keywords: | proof plans, theorem proving |