1
Pubblicazione 2005
Sommario: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Testo
Elettronico eBook