1
Publicado 2005
Tabla de Contenidos: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Enlace del recurso
Electrónico eBook