Proceedings of the 2016 Ieee 11th Conference on Industrial Electronics and Applications (Iciea)сборник

Статьи, опубликованные в сборнике

---

• 
  • 2016 Software for Automated Theorem Proving Based on the Calculus of Positively Constructed Formulas
  • Bychkov Igor, Cherkashin Evgeny, Davydov Artem, Larionov Alexander
  • в сборнике Proceedings of the 2016 Ieee 11th Conference on Industrial Electronics and Applications (Iciea), с. 940-945