1
Julkaistu 2005
Sisällysluettelo: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2010
Sisällysluettelo: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Hae kokoteksti
Elektroninen E-kirja