1
Cyhoeddwyd 2005
Tabl Cynhwysion: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2014
Tabl Cynhwysion: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
Cael y testun llawn
Electronig eLyfr