1
Cyhoeddwyd 2007
Tabl Cynhwysion: ... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Noisy Pattern Matching -- Integrating an Efficient Authorization Protocol with Trigon-Based...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Cael y testun llawn
Electronig eLyfr