1
Publicado 2010
Table of Contents: ... of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...
Ligazón do recurso
Electrónico eBook