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