Программа "Интерполирующий решатель, поддерживающий формулы с кванторами в теории линейной арифметики и неинтерпретируемых функций"
Семенов Виталий Адольфович
14 сентября 2018
338
| Предметная область | — |
| Отрасли по ОКВЭД | — |
| Страна, регион, город | Российская Федерация, Москва |
| Отличия от конкурентов | — |
| Вид документа об охране ИС | программа для ЭВМ |
| Номер документа ИС | 201261856 |
| Дата регистрации документа ИС | 2012-09-21 |
| Необходимые инвестиции для внедрения | договорная |
| Сроки внедрения | — |
| Стоимость предоставления технологии | договорная |
| Наличие экспертного заключения | Нет |
Польза для потенциального потребителя
Предназначена для решения сложных математических задач