Комплексний інформаційно-бібліографічний сервіс Національної бібілотеки України імені В. І. Вернадського

Простий пошук

Розширений пошук

Алфавітні покажчики

Бази даних

Журнали та продовжувані видання - результати пошуку

Віртуальна довідка

Тематичний інтернет-навігатор

Наукова електронна бібліотека

Автореферати дисертацій

Реферативна база даних

Книжкові видання та компакт-диски

Журнали та продовжувані видання

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

у знайденому

Сортувати знайдені документи за:
автором	назвою	роком видання

Формат представлення знайдених документів:
повний	стислий

Знайдено в інших БД:

Наукова електронна бібліотека (249)

Автореферати дисертацій (28)

Реферативна база даних (811)

Книжкові видання та компакт-диски (773)

Пошуковий запит: (<.>U=В12$<.>)

Загальна кількість знайдених документів : 485
Представлено документи з 1 до 20

...

Категорія: Фізико-математичні науки

Ж66583/1996/30

Повний опис, надходження

Институт математики им. С.Л.Соболева СО РАН.

Труды Института математики им. С.Л.Соболева СО РАН [Текст] / РАН. СО. - Новосибирск. - ISSN 0208-0060.

1996, Т.30 : Вопросы алгебры и логики / ред. Ю. Ершов, В. Мазуров. - Новосибирск : [б.в.], 1996. - 192 с. (Труды Института математики им. С.Л.Соболева СО РАН, ISSN 0208-0060 ; 1996, Т.30). - ISBN 5-86134-019-6

Рубрики:

Математична логіка

Алгебра

Географічні рубрики:

Російська Федерація (РФ). Росія

1996

Т. 30

Видання зберігається у :
Основний фонд

Категорія: Фізико-математичні науки

Ж69501

Логика и компьютер , М. Сер, "Кибернетика: неограниченные возможности и возможные ограничения".- Отримується з 1997.

Повний опис видання, надходження:

Категорія: Фізико-математичні науки

Ж69501/1997/4

Повний опис, надходження

Логика и компьютер. Сер., "Кибернетика: неограниченные возможности и возможные ограничения" [Текст] / РАН. - М. : "Наука", 1963 - .

1997, №4 : Многозначные логики / А. С. Карпенко. - М. : "Наука", 1997. - 223 с.: ил. (Логика и компьютер. - Сер "Кибернетика: неограниченные возможности и возможные ограничения" ; 1997, №4). - ISBN 5-02-013628-X

Рубрики:

Багатозначна логіка

Многозначна логіка

Географічні рубрики:

Російська Федерація (РФ). Росія

1997

Вып. 4

Видання зберігається у :
Основний фонд

Категорія: Фізико-математичні науки

Ж29842/1999/165

Повний опис, надходження

Вычислительные системы [Текст] : сборник научных трудов / РАН. Сибирское отделение, Институт математики им. С.Л.Соболева. - Новосибирск. - ISSN 0568-661Х*.

1999, Вып.165 : Структурные и сложностные проблемы вычислимости : сборник научных трудов / ред. Ю. Ершов, С. Гончаров. - Новосибирск : [б.в.], 1999. - 208 с. (Вычислительные системы, ISSN 0568-661Х* ; 1999, Вып.165). - Библиогр. в конце ст.

Рубрики:

Теорія обчислюваності. Складність обчислень

Географічні рубрики:

Російська Федерація (РФ). Росія

1999

Вып. 165

Видання зберігається у :
Основний фонд

Категорія: Фізико-математичні науки

Ж29842/1996/155

Повний опис, надходження

1996, Вып.155 : Теория графов и ее применение / ред. В. А. Скоробогатов. - Новосибирск : [б.в.], 1996. - 106 с.: рис. (Вычислительные системы, ISSN 0568-661Х* ; 1996, Вып.155)

Рубрики:

Теорія графів

1996

Вып. 155

Видання зберігається у :
Основний фонд

Категорія: Фізико-математичні науки

Ж29842/1996/156

Повний опис, надходження

1996, Вып.156 : Структурные алгоритмические свойства вычислимости / ред. Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : [б.в.], 1996. - 152 с. (Вычислительные системы, ISSN 0568-661Х* ; 1996, Вып.156)

Рубрики:

Теорія алгоритмів, рекурсивні функції

1996

Вып. 156

Видання зберігається у :
Основний фонд