|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Proof-searching algorithm in first order classical natural deduction calculusдоклад на конференции
- Авторы: Бочаров В.А., Шангин В.О., Горчаков А.Е., Болотов А.Е.
- Международная Конференция : 2th International Congress of Logic, Methodology and Philosophy of Science.
- Даты проведения конференции: 2003
- Тип доклада: не указан
- Докладчик: не указан
- Место проведения: Oviedo (Spain), Spain
- Добавил в систему: Горчаков Александр Евгеньевич