Effective quantifier elimination over real closed fields
Vorobjov, N., 2003. Effective quantifier elimination over real closed fields. (Lecture Notes in Computer Science)
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Departments||Faculty of Science > Computer Science|
|Additional Information||ID number: ISI:000186104600045|
Actions (login required)