|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Application of Planner-B in Mathematical Logicдоклад на конференции
- Автор: Эльтеков В.А.
- Международная Конференция : International Congress on Mathematical Software
- Даты проведения конференции: 2006
- Тип доклада: не указан
- Докладчик: Эльтеков В.А.
- Место проведения: Castro Urdiales, Cantabria, Spain, Spain
- Добавил в систему: Эльтеков Виталий Анатольевич