The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Proof Planning and Industrial Configuration
Editors:Robin Drogemuller (Conference
Book#: 0 9525554 5x
Publisher:The Practical Application Company Ltd, UK
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)

[Search These Pages] [DAI Home Page] [Comment]