Edinburgh Research Explorer

Proof Planning and Industrial Configuration

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publicationPAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG
PublisherPractical Application Co Ltd
ISBN (Electronic)9780952555452
ISBN (Print)095255545X
StatePublished - 1997
EventThe practical application of PROLOG: Proceedings of the Fifth Practical Application of Prolog - London, United Kingdom
Duration: 22 Apr 199724 Apr 1997

Conference

ConferenceThe practical application of PROLOG: Proceedings of the Fifth Practical Application of Prolog
CountryUnited Kingdom
CityLondon
Period22/04/9724/04/97

Event

Download statistics

No data available

ID: 6317260