Showing 1 - 2 results of 2 for search '(("based solutions in computing program") OR ("based computational the computation program"))~', query time: 1.26s 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