1
Publicado em 2005
Sumário: ... and Computation -- Platypus: A Platform for Distributed Answer Set Solving -- Solving Hard ASP Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2007
Sumário: ... Krylov Subspace Methods Solving Dense Nonsymmetric Linear Systems Arising from BEM -- Research on Bio...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... Integrated Microarray Data -- Using Data Mining for Dynamic Level Design in Games -- A Logic Programming...
Obter o texto integral
Recurso Electrónico livro electrónico