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