Inverse Problems in Finance, Economics and Life Sciences

Almaty, Kazakhstan, December 26-28, 2017

• Участники
• Доклады
• Регистрация/Вход

Бектемесов А.Т.   Куатбаева А.  

Применение model checking для комбинаторных задач

Докладчик: Бектемесов А.Т.