Анисимов А.В., Джебелян Т., Лялецкий А.В., Попов Н.
Системы Theorema и автоматизация дедукции: сравнительный анализ
Автор: Анисимов А.В., Джебелян Т., Лялецкий А.В., Попов Н. Вид автора: персона
Мова: Російська Обсяг: с.59-63
УДК: 004.8+510.62
Є складовою частиною документа: Управляющие системы и машины
| Назва документа, в якому знаходиться дана частина: | Управляющие системы и машины |
| Дата видання документа, в якому знаходиться дана частина: | 2011 |
| Номер головного документа: | №4 |
Теми документа
|