Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=термы<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Пинус А.Г. Условные термы и их применение в алгебре и теории вычислений/А.Г. Пинус; Новосиб. гос. техн. ун-т. - 2002
2.

Schmidt-Schauss M. Computational aspects of an order-sorted logic with term declarations/M. Schmidt-Schauss. - 1989
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН