Showing 1 - 2 results of 2 for search '(("based solutions the computation program") OR ("based computational in computing program"))~', query time: 1.17s Refine Results
1
... C, which is formalised to be sound and complete. The rule-based nominal unification algorithm outputs...
Access document
Doctoral thesis
Export CSV Export RIS