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