Теория алгоритмов и дедуктивный вывод, Учеб. пособие по курсам Дисрект. математика и Мат. логика
99-4/5175 - 200 экз.5-7046-0271-1/[99-22277]/русский (rus)/Теория алгоритмов и дедуктивный вывод : Учеб. пособие по курсам Дисрект. математика и Мат. логика / Вагин В.Н., Головина Е.Ю., Фомина М.В. ; М-во общ. и проф. образования Рос. Федерации, Моск. энергет. ин-т ( Техн. ун-т).Теория алгоритмов и дедуктивный вывод : Учеб. пособие по курсам Дисрект. математика и Мат. логика / Вагин В.Н., Головина Е.Ю., Фомина М.В.Теория алгоритмов и дедуктивный вывод : Учеб. пособие по курсам Дисрект. математика и Мат. логика.М./Изд-во МЭИ/, 1999 ( ). - Изд-во МЭИ, 1999. - 46 с. ; 20 см.Теория алгоритмов и дедуктивный вывод : Учеб. пособие по курсам Дисрект. математика и Мат. логика. М., 1999 .
Библиогр.: с. 45. Библиогр.: с. 45.Алгоритмы -- Теория -- Руководства, пособия и т.п. для высшей школы/Алгоритмы -- Теория -- Учебные издания для высшей школы/Математическая дедукция -- Учебные издания для высшей школы/Математическая дедукция -- Руководства, пособия и т.п. для высшей школы/В12я73-1/В127я73-1/
Библиогр.: с. 45. Библиогр.: с. 45.Алгоритмы -- Теория -- Руководства, пособия и т.п. для высшей школы/Алгоритмы -- Теория -- Учебные издания для высшей школы/Математическая дедукция -- Учебные издания для высшей школы/Математическая дедукция -- Руководства, пособия и т.п. для высшей школы/В12я73-1/В127я73-1/