|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Applications of Planner B in mathematical logicтезисы доклада
- Автор: Eltekov V.
- Сборник: International Congress on Mathematical Software, Castro Urdiales, Cantabria {Spain}. Book of Abstracts
- Тезисы
- Год издания: 2006
- Издательство: University of Cantabria
- Местоположение издательства: Spain
- Первая страница: 8
- Последняя страница: 8
- Добавил в систему: Эльтеков Виталий Анатольевич