Методы представления знаний и доказательное программирование: сборник научных трудов

Методы представления знаний и доказательное программирование: сборник научных трудов

Bibliographic Details
Corporate Author:	Академия наук Украинской ССР (АН УССР) Институт кибернетики (ИК)
Other Authors:	Ющенко Е. Л. (редактор)
Language:	Russian
Published:	Киев, 1990
Subjects:	Математическое моделирование > Программирование знания представления методы информационные технологии программные средства интеллектуализация интерфейсы операционные системы
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=245513

Similar Items

Аналитические вычисления в системе REDUCE: справочное пособие
by: Гурин Н. И. Николай Иванович
Published: (Минск, Наука и техника, 1989)

Компьютерное моделирование оптико-электронных систем первичной обработки информации
by: Торшина И. П. Ирина Павловна
Published: (Москва, Логос, 2009)

Интеллектуализация программных средств: сборник научных трудов
Published: (Новосибирск, Наука, 1990)

Модели и системы представления знаний: сборник научных трудов
Published: (Москва, МИРЭА, 1990)

Информатика и программирование: программные средства реализации информационных процессов: учебник
by: Захарова А. А. Александра Александровна
Published: (Томск, Изд-во ТПУ, 2013)

Интеллектуализация программного обеспечения информационно-вычислительных систем: сборник научных трудов
Published: (Киев, Изд-во ИК, 1990)

Теоретические основы информационных систем учебное пособие
by: Белов А. А.
Published: (Иваново, ИГЭУ, 2019)

Тепловой расчет тормозных устройств
by: Вольченко А. И. Александр Иванович
Published: (Львов, Вища школа, 1987)

Долговечность и эффективность тормозных устройств
by: Германчук Ф. К. Федор Куприянович
Published: (Москва, Машиностроение, 1973)

Программирование в Delphi 7
by: Дарахвелидзе П. Г. Петр Г.
Published: (Санкт-Петербург, БХВ-Петербург, 2005)

Программирование: научный журнал
Published: (Москва, Наука, 2017-2019)

Моделирование и автоматизированное использование структурированных физических знаний: монография
by: Фоменков С. А. Сергей Александрович
Published: (Москва, Машиностроение-1, 2004)

Технология Java Card ™ для смарт-карт: архитектура и руководство программиста
by: Жикун Ч.
Published: (Москва, Техносфера, 2008)

Гидравлические тормоза
by: Гавриленко Б. А. Борис Александрович
Published: (Москва, Машгиз, 1961)

Кн. 2: Интеллектуализация ЭВМ; Перспективы развития вычислительной техники
Published: (1989)

Программирование на персональных ЭВМ: Практикум: учебное пособие
by: Офицеров Д. В. Дмитрий Васильевич
Published: (Минск, Высшая школа, 1993)

Математика программных систем: межвузовский сборник научных трудов
Published: (Пермь, Изд-во Пермского ун-та, 2001)

Руководство по реляционной СУБД DB2; Руководство для пользователей программного продукта "IBM Database 2" фирмы IBM (реляционной системы управления базами данных, функционирующей в обстановке операционной системы MVS) и сопутствующих программных продуктов QMF и DXT
by: Дейт К. Дж.
Published: (Москва, Финансы и статистика, 1988)

Языки и методы программирования: учебно-методичекое пособие
by: Рыбалка С. А. Сергей Анатольевич
Published: (Томск, Изд-во ТПУ, 2014)

Интеллектуальный поиск информации, основанный на онтологии; Информационные технологии; № 11
by: Керимов С. Г.
Published: (2004)

Неклассические информационные технологии в управлении машинными агрегатами и производственными технологиями
by: Саакян Р. Р. Рустам Рафикович
Published: (Благовещенск, АмГУ, 2004 )

Интеллектуальный капитал организации: сущность, структура и основы управления
by: Салихов Б. В. Борис Варисович
Published: (Москва, Дашков и К, 2009)

Концепция системы управления интеллектуальным месторождением; Проблемы геологии и освоения недр; Т. 2
by: Ефремов С. А.
Published: (2016)

Системы представления и приобретения знаний учебное пособие
by: Птицына Л. К.
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2019)

Основы параллельного программирования
by: Богачев К. Ю. Кирилл Юрьевич
Published: (Москва, Бином, 2003)

Интеллектуальные информационные системы: учебник для вузов
by: Гаскаров Д. В. Диляур Вагизович
Published: (Москва, Высшая школа, 2003)

Информатика: технологии и офисное программирование учебное пособие
by: Старыгина С. Д.
Published: (Казань, КНИТУ, 2018)

Реализация базового интерфейса для взаимодействия с удалёнными субъектами обучения; Образовательный стандарт нового поколения. Организационно-технологическое и материально-техническое обеспечение
by: Ботыгин И. А. Игорь Александрович
Published: (2001)

Семантические представления
by: Кузнецов И. П. Игорь Петрович
Published: (Москва, Наука, 1986)

Методы и системы принятия решений. Системы обработки знаний в автоматизированном проектировании: сборник научных трудов
Published: (Рига, Изд-во Рижского ТУ, 1992)

Методы представления знаний в информационных технологиях: сборник научных трудов
Published: (Киев, Изд-во ИК, 1991)

Информационные технологии: теоретический и прикладной научно-технический журнал
Published: (Москва, Новые технологии, 2000-)

Разработка прикладных систем на Visual Basic for Windows: пер. с англ.
by: Скотт Д. Ф.
Published: (Москва, Исланд, 1994)

Математическое обеспечение проблемно-ориентированных вычислительных комплексов и систем: сборник научных трудов
Published: (Ленинград, Изд-во ЛЭТИ, 1983)

Windows XP: пер. с англ.
by: Ботт Э. Эд
Published: (СПб., Питер, 2004)

Интеллектуализация производства - путь к эффективности; Промышленные АСУ и контроллеры; № 6
by: Тынкачев А. Р.
Published: (2006)

Интерфейс современной программной системы
by: Довгаль С. И
Published: (Киев, Информсистема сервис, 1994)

Естественнонаучные знания в Древней Руси: сборник статей
Published: (Москва, Наука, 1980)

Основы Windows Presentation Foundation
by: Андерсон К.
Published: (Москва, ДМК Пресс, 2008)

Анализ эффективности применения метода индексации фактов; Молодежь и современные информационные технологии; Т. 2
by: Осадчая И. А.
Published: (2016)