|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
ICCL Workshop on Logic-Based Knowledge Representationсборник
- Год издания: 2005
- Место издания: TU Dresden
- Добавил в систему: Корухова Юлия Станиславовна
Статьи, опубликованные в сборнике
-
- 2005 Automation of Program Synthesis from Logic-Based Specifications in the Deductive Tableau
- Korukhova Yulia
- в сборнике ICCL Workshop on Logic-Based Knowledge Representation, место издания TU Dresden, с. 1-5