"Compilation of Symbolic Knowledge and Integration with Numeric Knowledge ..."

Vianey Guadalupe Cruz Sánchez et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics