Search
Add filters:
Use filters to refine the search results.
Results 1-2 of 2 (Search time: 0.001 seconds).
- previous
- 1
- next
Item hits:
| Issued Date | Title | Author(s) | Level |
|---|---|---|---|
| 29-Mar-2022 | Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty | Ioakimidis, Nikolaos | - |
| 25-Jul-2022 | Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction | Ioakimidis, Nikolaos | - |