|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Алгоритм поиска вывода для натурального классического исчисления высказываний. доклад на конференции
- Авторы: Болотов A.E., Горчаков А.Е., Бочаров В.А.
- Международная Конференция : 11 Международная конференция. Логика, методология, философия науки
- Даты проведения конференции: 1995
- Тип доклада: не указан
- Докладчик: не указан
- Место проведения: Москва - Обнинск, Russia
- Добавил в систему: Горчаков Александр Евгеньевич