Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Поисковый запрос:
(<.>A=Schmidt-Schauss, Manfred$<.>)
Общее количество найденных документов
:
1
1.
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 Отделение ГПНТБ СО РАН