Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Proof Planning and Industrial Configuration
| Editors: | Robin Drogemuller (Conference
| Book#: | 0 9525554 5x
| Publisher: | The Practical Application Company Ltd, UK
| Volume: | MISSING
| Pages: | 91-98
| |
Paper in Conference Proceedings #1203 | |
Title: | Proof Planning and Industrial Configuration |
---|---|
Authors: | Pechoucek,M; Lowe,H; Bundy,A |
Date: | 1997 |
Presented: | Proceedings of the Practical Application of Prolog (PAP97) |
Keywords: |