Description logics.
Overview
| Works: | 3 works in 3 publications in 3 languages | |
|---|---|---|
Titles
Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations /
by:
(Language materials, printed)
Subjects