CHIP and Propia

Mark Wallace, Thierry Le Provost

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Original languageEnglish
Title of host publicationLogic Programming and Automated Reasoning - International Conference LPAR 1992, Proceedings
EditorsAndrei Voronkov
PublisherSpringer
Pages507-509
Number of pages3
ISBN (Print)9783540557272
DOIs
Publication statusPublished - 1 Jan 1992
Externally publishedYes
EventInternational Conference on Logic Programming and Automated Reasoning, LPAR 1992 - St. Petersburg, Russian Federation
Duration: 15 Jul 199220 Jul 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume624 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Logic Programming and Automated Reasoning, LPAR 1992
CountryRussian Federation
CitySt. Petersburg
Period15/07/9220/07/92

Cite this

Wallace, M., & Le Provost, T. (1992). CHIP and Propia. In A. Voronkov (Ed.), Logic Programming and Automated Reasoning - International Conference LPAR 1992, Proceedings (pp. 507-509). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 624 LNAI). Springer. https://doi.org/10.1007/BFb0013103