1
Udgivet 2005
Indholdsfortegnelse: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Få fuldtekst
Electronisk eBog