|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О некоторых фрагментах системы Куайна NFстатья
- Автор: Гришин Владимир Николаевич
- Сборник: Исследования по математической лингвистике, математической логике и информационным языкам
- Редакторы: Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
- Год издания: 1972
- Место издания: Наука Москва
- Первая страница: 200
- Последняя страница: 212
- Добавил в систему: Золин Евгений Евгеньевич