1
Foilsithe 2005
Clár Ábhair: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2010
Clár Ábhair: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar