|
|
|
- Маслов С.Ю. Возможности применения теории дедуктивных систем. — В кн.: Теория логического вывода. Ч. I. M., 1974.
- Маслов С.Ю. Исчисления с монотонными выводами. — Записки научн. Семинаров АН СССР, 1979, 88.
- Маслов С.Ю. Обратный метод установления выводимости. — Докл. АН СССР, 1964, 159, № 1.
- Маслов С.Ю. Поиск вывода как модель эвристического процесса.—Кибернетика, 1972, № 5.
- Маслов С.Ю. Теория поиска вывода и вопросы психологии творчества. Семиотика и информатика, 1979, № 13.
- Маслов С.Ю., Данцин Е.Я. Метод расщеплений и другие системы. — В кн.: Тез. конф. по методам матлогики в искусств. интеллекте. - Паланга, 1980.
- Математическая теория логического вывода. — М., 1967.
- Матросов А. В., Сергеев А. О., Чаунин М. П. HTML 4.0. - СПб.: БХВ-Петербург, 2004. - 672 с: ил.
- Мешков А., Тихомиров Ю. Visual C++ и MFC. Программирование для Windows NT™ и Windows® 95: В 3-х т. Т. 2. — СПб.: BHV — Санкт-Петербург, 1997 — 464 с, ил.
- Минц Г. Е. Программа для опровержения пропозициональных формул. — В кн.: Искусственный интеллект и автоматизация исследований. Киев, 1978.
- Мир Internet - 2004 - №№1-5.
- Моделирование социальных процессов. — М., 1970.
- Моник Ван Дюссельдорп. "Взгляд в будущее через сеть" // Среда. № 6-7, Июнь-июль, 1999.
- Москвин П. В. Азбука STL. - М.: Горячая линия-Телеком, 2003 с.: ил.
- Моуд Дж. Товары впрок // PC Week/RE. - 1997. - № 33.
- Нейрокомпьютеры и интеллектуальные роботы. Под ред. Н.М. Амосова, Киев, Наукова думка, 1991.
- Нейрокомпьютеры и интеллектуальные роботы. Под ред. Н.М. Амосова. - Киев, Наукова думка, 1991.
- Нейронные сети. SATISTICA Neural Networks. - М.: Горячая линия- Телеком, 2000.
- Нерретер В. Расчет электрических цепей на персональной ЭВМ: Пер. с нем. — М.: Энергоатомиздат, 1991.— 220 с: ил.
- Нечеткие множества в моделях управления и искусственного интеллекта /Под ред. Д.А. Поспелова. - М.: Наука, 1986. - 312 с.
- Николис Г., Пригожий И. Познание сложного / Пер. с англ. - М.: Мир, 1990.- 344 с.
- Носов Н.А. Виртуальная реальность// Вопросы философии, 1999, №10.
- Оезер Э. Мозг, язык и мир// Вопросы философии, 1998, №5.
- Ойнер О.К., Попов Е.В. Виртуальный маркетинг и его применение на отечественных предприятиях// Маркетинг в России и за рубежом. — 2000. — № 5.
- Очков В.Ф. Mathcad PLUS 6.0 для студентов и инженеров. — М.: ТОО фирма "КомпьютерПресс", 1996. — 238 с— ил.
- Паек Г. Модель эволюции //Принципы самоорганизации. - М.: Мир,1966.
- Паппас К.Х., Мюррей У.Х. III Отладка в C++ — М.: ЗАО "Издательство БИНОМ", 2001 г. — 512 с.
- Пейтон А. Дж., Волш В. Аналоговая электроника на операционных усилителях — М.: БИНОМ, 1994 - 352 с: ил.
- Перегудов Ф.И. и др. Введение в системный анализ: Учебное пособие / Ф.И. Перегудов, Ф.П. Тарасенко . – М.: Высшая школа, 1997. – 389с.
- Перспективы развития вычислительной техники. Интеллектуализация ЭВМ. – М.: "Высшая школа", 1989.
- Петрунин Ю.Ю. Искусственный интеллект как феномен современной культуры.// Вестник Московского университета, 1994, №8.
- Петюшкин А. В. HTML в Web-дизайне. - СПб.: БХВ-Петербург, 2004. - 400 с: ил.
- Пименов Ю.С. Использование Интернет в системе маркетинга// Маркетинг в России и за рубежом. — 1999. — № 1.
- Платт Д. С. Знакомство с Microsoft. NET/Пер. с англ. — М: Издательс-ко-торговып дом "Русская Редакция", 2001. — 240 с: ил.
- Подбельский В.В. Язык Си++: Учеб. пособие. — 5-е изд.— М.: Финансы и статистика, 2000.— 560 с: ил.
- Поляков Д.Б., Круглов И.Ю. программирование в среде турбо Паскаль версия 5.5 - М., 2000.
- Померанц. Г.С. Теория субэкумен и проблема своеобразия восточных культур. Труды по востоковедению. III. — Тарту, 1976
- Попов Г.И. Биомеханические основы создания предметной среды для формирования и совершенствования спортивных достижений: Автореф. докт. дис. - М., 1992. - 48 с.
- Попов О.И. Эргометрические и биоэнергетические критерии специальной работоспособности пловцов: Автореф. докт. дис. - М., 1999. - 46 с.
Оформить заказ
|
|
|
|