Вы здесь

Главная

механический

Связанные издания:

Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014
Certified Programs and Proofs: Proc./3rd International Conference, CPP 2013, Melbourne,VIC,Australia, December 2013
Evolvable Systems: From Biology to Hardware: Proc./7th International Conference, ICES 2007. Wuhan, China, September 2007
High-Performance Scientific Computing: Revised Selected Papers/1st JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 2016
Modal Nonmonotonic Logics: Ranges, Characterization, Computation
On the Style of Mechanical Proving
Информационно-логический анализ структуры диагностирования механических систем
Численное моделирование колебаний диссипативно однородных и неоднородных механических систем