|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Automated First Order Natural Deductionдоклад на конференции
- Авторы: Болотов A.E., Шангин В.О., Горчаков А.Е., Бочаров В.А.
- Международная Конференция : 2nd Indian International Conference on Artificial Intelligence
- Даты проведения конференции: 2005
- Тип доклада: не указан
- Докладчик: не указан
- Место проведения: Pune, India, India
- Добавил в систему: Горчаков Александр Евгеньевич