1
Publicado em 2010
Sumário: ... of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...
Obter o texto integral
Recurso Electrónico livro electrónico