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