1
Publicerad 2005
Innehållsförteckning: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Hämta fulltext
Elektronisk E-bok