Личный кабинет
3260 записей
Амосов А. А., Дубинский Ю. А., Копченова Н. В.
Вычислительные методы для инженеров : учеб. пособие для втузов / Амосов А. А., Дубинский Ю. А., Копченова Н. В. - М. : Высшая школа, 1994. - 543 с. - Библиогр.:с.525-529 . - ISBN 5-06-000625-5 .
Вычислительные методы для инженеров : учеб. пособие для втузов / Амосов А. А., Дубинский Ю. А., Копченова Н. В. - М. : Высшая школа, 1994. - 543 с. - Библиогр.:
60 экз.
Метакидес Г., Нероуд А.
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - Москва : Факториал, 1998. - 288 с. : ил. - Библиогр.:с.275-278 . - ISBN 5-88688-037-2 .
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - Москва : Факториал, 1998. - 288 с. : ил. - Библиогр.:
1 экз.
Алгебра и логика : сборник научных трудов / Академия наук СССР, СО, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1991. - ISSN 0373-9252 .
Т. 30, № 6. - 1991. - С.631-772 . - Библиогр.в конце статей .
Т. 30, № 6. - 1991. - С.631-772 . - Библиогр.
1 экз.
Лавров И. А., Максимова Л. Л.
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр.:с.248-249 . - ISBN 5-02-014844-X .
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр.:
2 экз.
Грэй П.
Логика, алгебра и базы данных / Грэй П. ; пер. с англ. Килов Х. И., Минц Г. Е. ; ред. пер. Орловский Г. В., Слисенко А. О. - Москва : Машиностроение, 1989. - 359 с. - Библиогр.:с.348-359 . - ISBN 5-217-00178-X .
Логика, алгебра и базы данных / Грэй П. ; пер. с англ. Килов Х. И., Минц Г. Е. ; ред. пер. Орловский Г. В., Слисенко А. О. - Москва : Машиностроение, 1989. - 359 с. - Библиогр.:
3 экз.
Мудров А. Е.
Численные методы для ПЭВМ на языках Бейсик, Фортран и Паскаль / Мудров А. Е. - Томск : РАСКО, 1991. - 270 с. - Библиогр.:с.263-266 . - На титульном листе автор не указан. - ISBN 5-256-00602-9 .
Численные методы для ПЭВМ на языках Бейсик, Фортран и Паскаль / Мудров А. Е. - Томск : РАСКО, 1991. - 270 с. - Библиогр.:
2 экз.
Краткий справочник для инженеров и студентов. Высшая математика, физика, теоретическая механика, сопротивление материалов / Полянин А. Д., Полянин В. Д., Попов В. А. [и др.]. - М. : Международная программа образования, 1996. - 431 с. - Библиогр.: с.387 . - ISBN 5-7753-0001-7 .
3 экз.
Набебин А. А.
Логика и Пролог в дискретной математике / Набебин А. А. - Москва : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:с.435-440 . - ISBN 5-7046-0162-6 .
Логика и Пролог в дискретной математике / Набебин А. А. - Москва : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:
1 экз.
Справочник по элементарной математике, механике и физике. - Москва : АКАЛИС, 1995. - 215 с. - ISBN 5-86275-044-4 .
1 экз.
Алгебра и логика : сборник научных трудов / Академия наук СССР, СО, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1990. - ISSN 0373-9252 .
Т. 29, № 2. - 1990. - С.136-261 . - Библиогр.в конце статей .
Т. 29, № 2. - 1990. - С.136-261 . - Библиогр.
1 экз.
