1
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Cael y testun llawn
Electronig eLyfr