1
Cyhoeddwyd 2014
Tabl Cynhwysion: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Language -- Poster Presentations -- Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2014
Tabl Cynhwysion: ... for Supporting Users during the Execution of Declarative Business Process Models -- Complexity-Aware Software...
Cael y testun llawn
Electronig eLyfr