|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Обзор предикатной логики реализуемостистатья
- Автор: Плиско В.Е.
- Сборник: Алгоритмические вопросы алгебры и логики. Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна
- Серия: Труды Математического Института им. В.А.Стеклова
- Том: 274
- Год издания: 2011
- Издательство: МАИК "Наука/Интерпериодика"
- Местоположение издательства: Москва
- Первая страница: 222
- Последняя страница: 251
- Добавил в систему: Плиско Валерий Егорович