Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
Релевантный обратный вывод и верификация логических программ на основе решения уравнений в LP-структурах
доклад на конференции
Автор:
Махортов С.Д.
Всероссийская с международным участием Конференция :
III Всероссийская научная конференция «Методы и средства обработки информации» (MCO-2009), Москва, 6-8 октября 2009.
Даты проведения конференции:
2009
Тип доклада:
не указан
Докладчик:
Махортов С.Д.
не указан
Махортов С.Д.
Место проведения:
Москва, Russia
Добавил в систему:
Махортов Сергей Дмитриевич