|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Proceedings of the 5th International Conference on Recent Advances in Soft Computing (RASC2004)сборник
- Год издания: 2004
- Издательство: Nottingham Trent University
- Местоположение издательства: United Kingdom
- Добавил в систему: Корухова Юлия Станиславовна
Статьи, опубликованные в сборнике
-
- 2004 Planning Proof in the Deductive Tableau Using Rippling
- Korukhova Yulia
- в сборнике Proceedings of the 5th International Conference on Recent Advances in Soft Computing (RASC2004), издательство Nottingham Trent University (United Kingdom), с. 384-390