1
Publicado 2005
Table of Contents: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
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