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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : И-В1/T54
Автор(ы) : Tieszen, Richard
Заглавие : After Godel: platonism and rationalism in mathematics and logic
Выходные данные : Oxford: Oxford univ. press, 2013
Колич.характеристики :X,245 p.
Примечания : Bibliogr.: p. 227-238Ind.: p. 239-245
ISBN, Цена 978-019-968-061-0: 105 р.
ГРНТИ : 27.01
ББК : В1в + Ю252:В1
Предметные рубрики: Математика-- Философия
Математическая логика-- Философия
Экземпляры :02(1)
Свободны : 02(1)
Перейти: оглавление
Найти похожие
2.

Вид документа : Продолжающееся издание
Шифр издания : Pr1153/Pr1153/108
Заглавие : Algebra, logic and number theory : proc. of the 3rd Joint conf. on algebra, logic a. number theory, June 8-13, 2014, Bedlewo
Выходные данные : Warszawa: Instytut matematyczny PAN, 2016
Колич.характеристики :257 p.: ill.
Коллективы : Joint conference on algebra, logic and number theory (3; 2014; Bedlewo)
Серия: Banach center publications/ Stefan Banach international mathematical center (Warsaw), ISSN 0137-6934; Vol. 108
Примечания : Bibliogr. at the end of the art.
ISBN, Цена 978-83-86806-31-7: 455 р.
ГРНТИ : 27.17 + 27.03 + 27.15
ББК : В152я431 + В12я431 + В14я431
Предметные рубрики: Высшая алгебра
Математическая логика
Теория чисел
Экземпляры :02(1)
Свободны : 02(1)
Перейти: Оглавление
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/343
Заглавие : Algebraic and logic programming : Intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc.
Выходные данные : Berlin: Springer, 1988
Колич.характеристики :278 p.: Ill.
Серия: Lecture notes in computer science; 343
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-50667-5: Б.ц.
ГРНТИ : 50.05.09 + 50.07.03
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--алгебраические спецификации
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/425
Заглавие : Algebraic logic and universal algebra in computer science : Conf., Ames, Lowa, USA, Jun. 1-4, 1988., Proc
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :XI,292 p.: Ill.
Серия: Lecture notes in computer science; 425
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-97288-9: Б.ц.
ГРНТИ : 50.07.03 + 50.05.09
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--логическое программирование--семантика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/407
Заглавие : Automatic verification methods for finite state systems : Intern. workshop, Grenoble, France, June 12-14, 1989. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VII,382 p.: Ill.
Серия: lecture notes in computer science; 407
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52148-8:
ГРНТИ : 50.05.09
ББК : З 973.2-018.14я431
Предметные рубрики: Верификация-- Программ ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): процесс алгебры--временная логика--теория конечных автоматов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/389
Заглавие : Category theory and computer science : Manchester, UK, Sept. 5-8, 1989. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,365 p.: Ill.
Серия: Lecture notes in computer science; 389
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51662-X:
ГРНТИ : 50.05 + 27.17
ББК : З 973.2-018я431 + В152.53Я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Категории-- Алгебра
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--языки программирования--теория категорий
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/417
Заглавие : COLOG-88 : Intern. conf. on computer logic, Tallinn, USSR, Dec. 12-16, 1988. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VI,338 p.
Серия: Lecture notes in computer science; 417
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52335-9:
ГРНТИ : 50.05.09
ББК : З 973.205-018.12Я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : И-В1/T19
Автор(ы) : Tao, Terence
Заглавие : Compactness and contradiction
Выходные данные : Providence: Amer. math. soc., 2013
Колич.характеристики :XII,256 p.: ill.
Примечания : Bibliogr.: p. 249-253Ind.: p. 255-256
ISBN, Цена 978-0-8218-9492-7: 179 р.
ГРНТИ : 27.01
ББК : В1
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--теория групп--нестандартный аналз
Экземпляры :02(1)
Свободны : 02(1)
Перейти: Оглавление
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : Pr1019/Pr1019/395
Автор(ы) : Schmidt-Schauss, Manfred
Заглавие : Computational aspects of an order-sorted logic with term declarations : сборник
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VIII,171 p.
Серия: Lecture notes in artificial intelligence; 395
Примечания : Bibliogr.: p. 156-166. Ind.: p. 167-168
ISBN, Цена 3-540-51705-7:
ГРНТИ : 27.03
ББК : В12с512
Предметные рубрики: Математическая логика-- Применение ЭВМ
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): математическая логика--упорядоченная логика--термы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/697
Заглавие : Computer aided verification : 5th intern. conf., CAV'93, Elounda, Greece, June 28-July 1, 1993: Proc.
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :IX, 504 p.: Ill.
Серия: Lecture notes in computer science; 697
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-56922-7: Б.ц.
ГРНТИ : 50.41.17
ББК : З 973.2-018.14я431
Предметные рубрики: Верификация-- Программ ЭВМ
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): временная логика--параллельные системы--системы реального времени
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН