|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Возможные нетрадиционные методы установления выполнимости пропозициональных формулстатья
- Автор: Матиясевич Юрий Владимирович
- Сборник: Проблемы сокращения перебора
- Серия: Вопросы кибернетики
- Том: 131
- Год издания: 1987
- Место издания: Научный совет по комплексной проблеме «Кибернетика» Академии Наук СССР Москва
- Первая страница: 87
- Последняя страница: 89
- Добавил в систему: Золин Евгений Евгеньевич