Личный кабинет
263 записи
Метакидес Г., Нероуд А.
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 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 экз.
Грэй П.
Логика, алгебра и базы данных / Грэй П. ; ред. Слисенко А. О. ; пер. с англ. Килов Х. И., Минц Г. Е. ; ред. пер. Орловский Г. В. - М. : Машиностроение, 1989. - 359 с. - Библиогр.:с. 348-359 .
Логика, алгебра и базы данных / Грэй П. ; ред. Слисенко А. О. ; пер. с англ. Килов Х. И., Минц Г. Е. ; ред. пер. Орловский Г. В. - М. : Машиностроение, 1989. - 359 с. - Библиогр.:
3 экз.
Набебин А. А.
Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:с. 435-440 . - ISBN 5-7046-0162-6 .
Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:
1 экз.
Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1990. - ISSN 0373-9252 .
Т. 29, № 2. - 1990. - С.136-261 . - Библиогр.в конце статей .
Т. 29, № 2. - 1990. - С.136-261 . - Библиогр.
1 экз.
Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1989. - ISSN 0373-9252 .
Т. 28, № 3. - 1989. - С.250-367 . - Библиогр.в конце статей .
Т. 28, № 3. - 1989. - С.250-367 . - Библиогр.
1 экз.
Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1990. - ISSN 0373-9252 .
Т. 29, № 3. - 1990. - С.266-382 . - Библиогр.в конце статей .
Т. 29, № 3. - 1990. - С.266-382 . - Библиогр.
1 экз.
Лыскова В. Ю., Ракитина Е. А.
Логика в информатике : метод. пособие / Лыскова В. Ю., Ракитина Е. А. - М. : Лаборатория Базовых Знаний, 2001. - 155 с. : ил. - (Информатика). - Библиогр.в конце кн. - ISBN 5-93208-105-8 .
Логика в информатике : метод. пособие / Лыскова В. Ю., Ракитина Е. А. - М. : Лаборатория Базовых Знаний, 2001. - 155 с. : ил. - (Информатика). - Библиогр.
1 экз.
Мальцев А. И.
Алгебраические системы / Мальцев А. И. - М. : Наука, 1970. - 392 с. - (Современная алгебра). - Библиогр.:с. 384-387 .
Алгебраические системы / Мальцев А. И. - М. : Наука, 1970. - 392 с. - (Современная алгебра). - Библиогр.:
1 экз.
Математическая логика и алгебра : сб. ст. / ред. Адян С. И. ; РАН. - М. : Наука : МАИК "Наука/Интерпериодика", 2003. - 207 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 242). - Библиогр. в конце ст. - ISBN 5-02-032604-6 .
1 экз.
