|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О решении задач математической логики с помощью системы Плэнер. доклад на конференции
- Автор: Эльтеков В.А.
- Конференция : Семинар по компьютерной алгебре. Факультет ВМиК МГУ и Объединенный институт ядерных исследований
- Даты проведения конференции: 1998
- Тип доклада: не указан
- Докладчик: Эльтеков В.А.
- Место проведения: Москва - Дубна, Россия
- Добавил в систему: Эльтеков Виталий Анатольевич