|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Proceedings of the 2nd Indian International Conference on Artificial Intelligenceсборник
- Год издания: 2005
- Место издания: IICAI
- Добавил в систему: Петрухин Ярослав Игоревич
Статьи, опубликованные в сборнике
-
- 2005 Automated First Order Natural Deduction
- Bolotov A., Bocharov V., Gorchakov A., Shangin V.
- в сборнике Proceedings of the 2nd Indian International Conference on Artificial Intelligence, место издания IICAI, с. 1292-1311