1
Argitaratua 2005
Aurkibidea: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Testu osoa
Baliabide elektronikoa eBook