|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
The Method and Software of Automated Derivation of Theorems onстатья
- Авторы: Vassilyev S.N., Druzhinin A.E., Morozov N.Yu
- Сборник: Analogies in Mathematical Models // Information and Computer Technology, Modeling and Control. Proc. Intern. Scientific Conf
- Год издания: 2017
- Место издания: Nova Science Publishers, Inc New York
- Первая страница: 1
- Последняя страница: 7
- Добавил в систему: Васильев Станислав Николаевич