Политехническая библиотека

Головна

Спрощенний режим

Опис

Бази даних

Каталог книг- результати пошуку

Вид пошуку

Каталог книг

Каталог российских журналов

Каталог иностранных журналов

Зона пошуку

Для печати информации о книге отметьте ее галочкой и нажмите кнопку «печать»

Поисковый запрос: <.>S=Математическая логика -- Съезды, конференции, совещания<.>

Общее количество найденных документов: 18

Показані документи с 1 за 18

W 153-5/66 т. 2

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2004 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 18-20 мая 2004г. - Ульяновск : УлГТУ, 2004 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интелекта и др.
Т. 2 : Логические системы, алгебраические логики и реляторная схемотехника. - 2004. - 131,1 с. : ил. - Библиогр. в конце тр. - 130 прим.. - ISBN 5-89146-490-Х : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + В152.54я431(0) + з844я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Нейрокибернетика--Съезды, конференции, совещания
   Алгебра--Съезды, конференции, совещания
   Радиоэлектронные схемы--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2004 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 153-5/66 т. 7

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2004 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 18-20 мая 2004г. - Ульяновск : УлГТУ, 2004 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интелекта и др.
Т. 7 : Математические методы и модели в прикладных задачах науки и техники. - 2004. - 214 с. : ил. - Библиогр. в конце тр. - 130 прим.. - ISBN 5-89146-494-2 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + В122я431(0) + В19я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Нейрокибернетика--Съезды, конференции, совещания
   Моделей теория--Съезды, конференции, совещания
   Прикладная математика--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2004 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 153-5/66 т. 3

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2004 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 18-20 мая 2004г. - Ульяновск : УлГТУ, 2004 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интелекта и др.
Т. 3 : Системы искусственного интеллекта и нейроинформатика. - 2004. - 183 с. : ил. - Библиогр. в конце тр. - 130 прим.. - ISBN 5-89146-491-8 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + з813.5я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
Нейрокибернетика--Съезды, конференции, совещания
Интеллектуальные системы--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2004 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 153-5/66 т. 4

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2004 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 18-20 мая 2004г. - Ульяновск : УлГТУ, 2004 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интелекта и др.
Т. 4 : Схемно-топологические модели активных электрических цепей : синтез, анализ, диагностика. - 2004. - 164 с. : ил. - Библиогр. в конце тр. - 130 прим.. - ISBN 5-89146-488-8 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + з211.005с11я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
Нейрокибернетика--Съезды, конференции, совещания
Электрические цепи--Моделирование

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2004 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 153-5/66 т. 6

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2004 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 18-20 мая 2004г. - Ульяновск : УлГТУ, 2004 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интелекта и др.
Т. 6 : Проблемы образования. - 2004. - 120 с. : ил. - Библиогр. в конце тр. - 130 прим.. - ISBN 5-89146-493-4 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + Ч30я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
Нейрокибернетика--Съезды, конференции, совещания
Образование--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2004 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 153-5/66 т. 5

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2004 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 18-20 мая 2004г. - Ульяновск : УлГТУ, 2004 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интелекта и др.
Т. 5 : Симметрия и самоорганизация в природе, науке и технике. - 2004. - 92 с. : ил. - Библиогр. в конце тр. - 130 прим.. - ISBN 5-89146-492-6 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + В181.113я431(0) + Б.я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Нейрокибернетика--Съезды, конференции, совещания
   Симметрия--Съезды, конференции, совещания
   Самоорганизующиеся системы--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2004 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 154-9/220 т. 4

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2005 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 17-19 мая 2005 г. - Ульяновск : УлГТУ, 2005 - . - В надзаг.: М-во науки и образования Рос. Федерации, Ассоц. искусств. интелекта, Рос. филос. о-во [и др.].
Т. 4 : Математические методы и модели в прикладных задачах науки и техники. - 2005. - 244 с. : ил. - Библиогр. в конце тр. - ISBN 5-89146-599-Х : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + В122я431(0) + В19я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Нейрокибернетика--Съезды, конференции, совещания
   Моделей теория--Съезды, конференции, совещания
   Прикладная математика--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2005 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 154-9/220 т. 2

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2005 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 17-19 мая 2005 г. - Ульяновск : УлГТУ, 2005 - . - В надзаг.: М-во науки и образования Рос. Федерации, Ассоц. искусств. интеллекта, Рос. филос. о-во [и др.].
Т. 2 : Информатика, системы искусственного интеллекта и моделирование технических систем. - 2005. - 208,[1] с., включ. обл. : ил. - Библиогр. в конце тр. - ISBN 5-89146-597-3 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + Ч23я431(0) + з813.5я431(0) + з965.93-01с.я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Нейрокибернетика--Съезды, конференции, совещания
   Интеллектуальные системы--Съезды, конференции, совещания
   Информатика--Съезды, конференции, совещания
   Технические системы--Моделирование

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2005 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 154-9/220 т. 3

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2005 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и техники", 17-19 мая 2005 г. - Ульяновск : УлГТУ, 2005 - . - В надзаг.: М-во науки и образования Рос. Федерации, Ассоц. искусств. интеллекта, Рос. филос. о-во [и др.].
Т. 3 : Схемно-алгебраические модели активных электрических цепей: синтез, анализ, диагностика. - 2005. - 196 с. : ил. - Библиогр. в конце тр. - ISBN 5-89146-598-1 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + з211.005с11я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
Нейрокибернетика--Съезды, конференции, совещания
Электрические цепи--Моделирование

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2005 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

10.

W 155-8/60 т. 5

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2006 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике" (16-18 мая 2006.г.). - Ульяновск : УлГТУ, 2006 - . - В надзаг.: М-во науки и образования, Междунар. акад. информатизации, Ассоц. искусств. интеллекта и др.
Т. 5 : Приборостроение и электроника. - 2006. - 145 с. : ил. - Библиогр. в конце ст. - ISBN 5-89146-828-X : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Нейрокибернетика--Съезды, конференции, совещания
   Приборостроение--Съезды, конференции, совещания
   Электроника--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2006 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

11.

W 155-8/60 т. 2

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2006 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике" (16-18 мая 2006.г.). - Ульяновск : УлГТУ, 2006 - . - В надзаг.: М-во науки и образования, Междунар. акад. информатизации, Ассоц. искусств. интеллекта и др.
Т. 2 : Информатика и системы искусственного интеллекта. - 2006. - 156 с. : ил. - Библиогр. в конце ст. - ISBN 5-89146-826-3 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + Ч23я431(0) + з813.5я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Нейрокибернетика--Съезды, конференции, совещания
   Информатика--Съезды, конференции, совещания
   Интеллектуальные системы--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2006 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

12.

W 155-8/60 т. 3

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2006 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике" (16-18 мая 2006.г.). - Ульяновск : УлГТУ, 2006 - . - В надзаг.: М-во науки и образования, Междунар. акад. информатизации, Ассоц. искусств. интеллекта и др.
Т. 3 : Схемно-алгебраические модели активных электрических цепей : синтез, анализ, диагностика. - 2006. - 243, [1] с. : ил. - Библиогр. в конце ст. - ISBN 5-89146-821-2 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з211.005с11я431(0) + з973.5я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
Нейрокибернетика--Съезды, конференции, совещания
Электрические цепи--Моделирование

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2006 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

13.

W 155-8/60 т. 4

"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф. (2006 ; Ульяновск).
Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике" (16-18 мая 2006.г.). - Ульяновск : УлГТУ, 2006 - .
Т. 4 : Математические методы и модели в прикладных задачах науки и техники. - 2006. - 328, [1] с. : ил. - Библиогр. в конце ст. - ISBN 5-89146-820-4 : Б. ц. р.

ББК В12я431(0) + В123я431(0) + з973.5я431(0) + В122я431(0) + В19я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Нейрокибернетика--Съезды, конференции, совещания
   Моделей теория--Съезды, конференции, совещания
   Прикладная математика--Съезды, конференции, совещания

Дод.точки доступу:
"Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике", международная конф.(2006 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

14.

W 156-9/215 т. 2

Конференция по логике, информатике, науковедению (2007 ; Ульяновск).
Труды международной "Конференции по логике, информатике, науковедению" (17-18 мая 2007 г.) : [КЛИН-2007]. - Ульяновск : УлГТУ, 2007 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интеллекта [и др.].
Т. 2 : Информационные и интеллектуальные технологии. - 2007. - 115 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-9795-0018-8 : Б. ц. р.

Рубрики: Математическая логика--Съезды, конференции, совещания
   Информатика--Съезды, конференции, совещания
   Наука и научно-исследовательская работа--Съезды, конференции, совещания
   Информационные технологии--Съезды, конференции, совещания
   Интеллектуальные системы--Съезды, конференции, совещания

Дод.точки доступу:
Конференция по логике, информатике, науковедению(2007 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

15.

W 156-9/215 т. 3

Конференция по логике, информатике, науковедению (2007 ; Ульяновск).
Труды международной "Конференции по логике, информатике, науковедению" (17-18 мая 2007 г.) : [КЛИН-2007]. - Ульяновск : УлГТУ, 2007 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искуств. интеллекта и др.
Т. 3 : Синтез, анализ и диагностика электронных цепей. - 2007. - 279 с. : ил. - Ч. текста нем. - Библиогр. в конце ст. - ISBN 978-5-9795-0016-4 : Б. ц. р.

Рубрики: Математическая логика--Съезды, конференции, совещания
   Информатика--Съезды, конференции, совещания
   Наука и научно-исследовательская работа--Съезды, конференции, совещания
   Электронные цепи--Съезды, конференции, совещания

Дод.точки доступу:
Конференция по логике, информатике, науковедению(2007 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

16.

W 156-9/215 Т. 1

Конференция по логике, информатике, науковедению (2007 ; Ульяновск).
Труды международной "Конференции по логике, информатике, науковедению" (17-18 мая 2007 г.) : [КЛИН-2007]. - Ульяновск : УлГТУ, 2007 - . - В надзаг.: М-во науки и образования Рос. Федерации, Междунар. акад. информатизации, Ассоц. искусств. интеллекта и др.
Т. 1 : Наука в различных измерениях: социально-философский аспект исследования. - 2007. - 141 с. : ил. ; 20 см. - Библиогр. в конце тр. - ISBN 978-5-9795-0019-5 : 50.00 р.

ББК В12я431(0) + Ч23я431(0) + Ч21я431(0) + Ю25я431(0) + С550.562я431(0)
Рубрики: Математическая логика--Съезды, конференции, совещания
   Информатика--Съезды, конференции, совещания
   Наука и научно-исследовательская работа--Съезды, конференции, совещания
   Наука и научно-исследовательская работа--Философские вопросы
   Наука и научно-исследовательская работа--Социология

Дод.точки доступу:
Конференция по логике, информатике, науковедению(2007 ; Ульяновск)
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

17.

W 165-10/10

Алгебра и логика : теория и приложения : междунар. конф. посвящ. памяти В.П. Шункова (Красноярск, 21-27 июля 2013 г.) : тез. докл. - Красноярск : СФУ, 2013. - 190 с. : ил. - В надзаг.: М-во образования и науки Рос. Федерации, Сиб. федер . ун-т, Ин-т математики СО РАН, Ин-т вычисл. моделирования СО РАН. - Часть текста англ. - Библиогр. в конце докл. - ISBN 978-5-7638-2877-1 : 130.00 р.

ББК В15я431(0) + В12я431(0)
Рубрики: Алгебра--Съезды, конференции, совещания
Математическая логика--Съезды, конференции, совещания

Дод.точки доступу:
Российская Федерация. М-во образования и науки
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

18.

W 171-8/287

Алгебра и логика: теория и приложения : тез. докл. междунар. конф., посвящ. 70-летию В. М. Левчука, Красноярск, 24-29 июля 2016 г. - Красноярск : СФУ, 2016. - 131 с. : ил. - В надзаг.: М-во образования и науки Рос. Федерации, Сиб. федер. ун-т, Ин-т математики Сиб. отд-ния Рос. акад. наук, Ин-т вычисл. моделирования Сиб. отд-ния Рос. акад. наук. - Часть текста англ. - Библиогр. в конце докл. - ISBN 978-5-7638-3517-5 : 220.00 р.

ББК В15я431(0) + В12я431(0)
Рубрики: Алгебра--Съезды, конференции, совещания
Математическая логика--Съезды, конференции, совещания

Дод.точки доступу:
Российская Федерация. М-во образования и науки
Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)