A Mathematical Framework for the Problem of Combination of Prolog Programs

Maria Vargas-Vera, David Robertson, Robert Inder

Research output: Book/ReportBook

Original languageEnglish
PublisherUniversity of Edinburgh, Department of Artificial Intelligence
Publication statusPublished - 1992
Externally publishedYes

Cite this