Программа "Интерполирующий решатель, поддерживающий формулы с кванторами в теории линейной арифметики и неинтерпретируемых функций"

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

Польза для потенциального потребителя

Предназначена для решения сложных математических задач