1
Cyhoeddwyd 2013
Tabl Cynhwysion: ... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in the Interior of the Building -- Computational Shape Grammars and Non-Standardization: a Case Study on the City...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- Partial Recursive Functions in Higher-Order Logic -- On the Strength of Proof-Irrelevant Type Theories...
Cael y testun llawn
Electronig eLyfr