1
Được phát hành 2005
Mục lục: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
lấy văn bản
Điện tử eBook