Search
Add filters:
Use filters to refine the search results.
Results 1-4 of 4 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
| Issued Date | Title | Author(s) | Level |
|---|---|---|---|
| 11-Jan-2018 | Elementary engineering mechanics applications of the OTTER automated reasoning system | Ioakimidis, Nikolaos | - |
| 8-Jan-2018 | Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics | Ioakimidis, Nikolaos | - |
| 14-Feb-2018 | An inequality constraint for the deflection of an elastic beam under a uniform distributed loading | Ioakimidis, Nikolaos | - |
| 3-Oct-2018 | Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination | Ioakimidis, Nikolaos | - |