Searching for "Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
Analysis and Verification of Multiple-Agent Languages - Fifth LOMAPS Workshop Abstracts
- … Languages, pages 238-252, 1977. [8] G. Ferrand. Error Diagnosis in Logic Programming, an Adaptation of E. Y…
- Add To MetaCart
Showing 1 through 1.
