Showing 1 - 3 results of 3 for search '(("based computational in computing program") OR ("based computation with complete program"))~', query time: 1.15s Refine Results
1
... C, which is formalised to be sound and complete. The rule-based nominal unification algorithm outputs...
Access document
Doctoral thesis
3
Published 2016
...Databases fed with news produced for the Web represent an information repository with technological...
Access document
Doctoral thesis
Export CSV Export RIS