Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=термы<.>)
Общее количество найденных документов
:
2
Показаны документы
с 1 по 2
1.
В15
П326
Пинус, Александр Георгиевич
.
Условные
термы
и их применение в алгебре и теории вычислений [Текст] / А.Г. Пинус; Новосиб. гос. техн. ун-т. - Новосибирск : НГТУ, 2002. - 238 с.
Библиогр.: с. 231-237
27.17.23
ББК
В152.7
Рубрики:
условные
термы
, универсальные алгебры
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
37-23-2003
Найти похожие
2.
Pr1019
Pr1019/395
Pr1019/395 / Pr1019/395-02
Schmidt-Schauss, Manfred
.
Computational aspects of an order-sorted logic with term declarations : сборник / M. Schmidt-Schauss. - Berlin [et al.] : Springer, 1989. - VIII,171 p. - (Lecture notes in artificial intelligence ; 395)
Bibliogr.: p. 156-166. Ind.: p. 167-168
Перевод заглавия:
Вычислительные аспекты математической логики
27.03
ББК
В12с512
Рубрики:
Математическая логика--Применение ЭВМ
Кл.слова (ненормированные):
математическая логика
--
упорядоченная логика
--
термы
Дескрипторы:
сб пр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
202-30-91+02
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН