1.
|
An object-oriented approach to dimensional analysis for engineering design / Wong, Yick Kei, 1973-
|
2.
|
Flight simulation Kesserwan, Nader.
|
3.
|
Resolution based techniques for automated proving of theorems in Tarskian-Euclidian geometry Savchenko, Sergei.
|