1
Publicado em 2005
Sumário: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2010
Sumário: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Obter o texto integral
Recurso Eletrônico livro eletrônico