Use filters to refine the search results.
Results 1-4 of 4 (Search time: 0.002 seconds).
|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||-|