|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Software for Automated Theorem Proving Based on the Calculus of Positively Constructed Formulasстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 1 апреля 2017 г.
- Авторы: Bychkov Igor, Cherkashin Evgeny, Davydov Artem, Larionov Alexander
- Сборник: Proceedings of the 2016 Ieee 11th Conference on Industrial Electronics and Applications (Iciea)
- Год издания: 2016
- Первая страница: 940
- Последняя страница: 945
- Добавил в систему: Черкашин Евгений Александрович