|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Об эффективном распознавании выполнимости формул УИП (узкого исчисления предикатов)статья
Статья опубликована в журнале из списка RSCI Web of Science
- Автор: Гуревич Ю.Ш.
- Журнал: Алгебра и логика
- Том: 5
- Номер: 2
- Год издания: 1966
- Издательство: Обществ. фонд "Сиб. фонд алгебры и логики"
- Местоположение издательства: Новосибирск
- Первая страница: 25
- Последняя страница: 55
- Добавил в систему: Золин Евгений Евгеньевич