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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 106
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
   Шифр см. у томов
   Пр627

   
    Алгебра и логика : сб. науч. тр. / АН СССР. Сиб. отд-ние. Ин-т математики.- Т.1 (1962)- . - Новосибирск : [б. и.], 19 - . -
27.17
27.03
ББК В152я54(2)2 + В12я54(2)2
Рубрики: Высшая алгебра
   Математическая логика
Дескрипторы: сб пр

Свободных экз. нет
2.
   В12
   А955
В12 / А955-02 ВМИ

    Ахо, Альфред В..
    Построение и анализ вычислительных алгоритмов / А. В. Ахо, Д. Хопкрофт, Д. Д. Ульман ; пер. с англ. А. О. Слисенко, под ред. Ю. В. Матиясевича. - М. : Мир, 1979. - 536 с. : ил. ; 22 см. - Библиогр.: с. 502-513. - Указ. имен., предм.: с. 516-532. - Пер. изд. : The design and analysis of Computer algorithms / Alfred A. Aho, John E. Hopcroft, Jeffrey D. Ullman. - Reading, MA, 1976. - 26000 экз.. -
ГРНТИ
27.03.17
ББК В127,0 + З 973.2-018
Рубрики: Алгоритмы--синтез


Доп.точки доступа:
Хопкрофт, Джон; Ульман, Джефри Д.; Слисенко, А.О. \пер.\; Матиясевич, Ю.В. \ред.\; Aho, Alfred A. ; Hopcroft, John E. ; Ullman, Jeffrey D.
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 19-10-2002но
Найти похожие
3.
   В12
   Е804
В12 / Е804-02

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. - Указ. предм. и обозначений: с. 335-336. -
ГРНТИ
27.03.19
ББК В12я73-1


Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 97-14-79но
Найти похожие
4.
   Pr1084
   Pr1084/1980-20
Pr1084/1980-20 / Pr1084/1980-20-02 ВМИ

    Smith, Jan.
    An interpretation of Martin-Lof's type theory in a type free theory of propositions / J. Smith. - Goteborg : [s. n.], 1980. - 38 l. - (Publicationes / Chalmers institute of technology and the University of Goteborg. Department of mathematics ; № 1980-20). - Bibliogr.: l. 38
Перевод заглавия: Интерпретация теории типов Мартина-Лефа в свободной теории типов утверждений
27.03
ББК В123
Рубрики: Типов теория
   Пропозициональные логики
Кл.слова (ненормированные):
интуиционистская теория типов
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
5.
   Pr1084
   Pr1084/1981-19
Pr1084/1981-19 / Pr1084/1981-19-02 ВМИ

    Smith, Jan.
    Course-of-values recursion on lists in intuitionistic type theory : сборник / J. Smith. - Goteborg : [s. n.], 1981. - 26 l. - (Publicationes / Chalmers institute of technology and the University of Goteborg. Department of mathematics ; № 1981-19)
Bibliogr.: l. 26
Перевод заглавия: Производящая рекурсия на перечне в интуиционистской теории типов
27.03
ББК В127 + В123
Рубрики: Рекурсивные функции
   Интуиционистская логика математическая
   Типов теория
Кл.слова (ненормированные):
конструктивный анализ
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
6.
   В12
   Е804
В12 / Е804-02

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие для математических специальностей вузов / Ю. Л. Ершов. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - Предм. указ.: с. 335-336. -
ГРНТИ
27.03.19
ББК В12я73


Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 43-13-87но
Найти похожие
7.
   Pr869
   Pr869/401
Pr869/401 / Pr869/401-02

   
    Optimal algorithms : intern. symp. Varna, Bulgaria, May 29 - June 2, 1989. Proc. / Ed. by H. Djidjev. - Berlin [et al.] : Springer, 1989. - VI,308 p. : Ill. - (Lecture notes in computer science ; 401). - Bibliogr. at the end of the art
Перевод заглавия: Оптимальные алгоритмы
50.05.03
27.03
ББК З 973.2-018я431 + В127я431
Рубрики: Компьютеры--Алгоритмы
   Алгоритмы--Теория
Кл.слова (ненормированные):
Алгоритмы -- теория программного обеспечения ЭВМ
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-16-91+02
Найти похожие
8.
   Pr869
   Pr869/385
Pr869/385 / Pr869/385-02

   
    CSL' 88 : 2nd workshop on computer science logic, Duisburg, FRG, Oct. 3-7, 1988. Proc. / Ed. by E. Borger a. o. - Berlin [et al.] : Springer, 1989. - VI,399 p. : Ill. - (Lecture notes in computer science ; 385). - Bibliogr. at the end of the art
Перевод заглавия: Труды 2-го семинара по компьютерной логике
50.05.09
27.03
ББК З 973.2-018.12я431 + В12Я431
Рубрики: Языки программирования
   Математическая логика
Кл.слова (ненормированные):
логика программ -- языки программирования -- математическая логика
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-6-91+02
Найти похожие
9.
   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
Найти похожие
10.
   Pr847
   Pr847/255
Pr847/255 / Pr847/255-02

   
    Algorithms and order : Proc., Ottawa, Canada, May 31 - June 13, 1987 / Ed. by Ivan Rival. - Dordrecht [et al.] : Kluwer, 1989. - IX, 498 p. : Ill. - (NATO ASI series. Series C, Math. a. phys. sciences ; vol. 255). - Bibliogr. at the end of the art.
Перевод заглавия: Алгоритмы и упорядоченность
27.03
50.05.03
27.47
ББК В173.1Я431 + В127я431 + З 973.2-018я431
Рубрики: Упорядоченные множества
   Алгоритмы--Теория
   Компьютеры--Алгоритмы
Кл.слова (ненормированные):
множества -- упорядоченные -- алгоритмы -- математическая оптимизация
Дескрипторы: Kluwer


Доп.точки доступа:
Rival, I. \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 78-22-91+02
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН