1
Pubblicazione 2010
Sommario: ... of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Testo
Elettronico eBook
3
Pubblicazione 2005
Sommario: ... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...
Testo
Elettronico eBook