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

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

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)

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

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

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

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

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

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

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

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

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

Вычислительная техника и программирование
Published: (Москва, Испо-Сервис, 1999)

Информатика и программирование: сборник научных трудов
Published: (Новосибирск, [Б. и.], 1989)

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

Кн. 6: Персональные автоматизированные информационные системы и дисплейные комплексы; Организация взаимодействия человека с техническими средствами АСУ
Published: (1990)

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

Параллельное программирование для многомодульных вычислительных систем
by: Миренков Н. Н. Николай Николаевич
Published: (Москва, Радио и связь, 1989)

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

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

Информатика: учебное пособие: дистанционное образование
by: Немировский В. Б. Виктор Борисович
Published: (Томск, Изд-во ТПУ, 2000)

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

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

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

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

Порождающее программирование: методы, инструменты, применение: пер. с англ.
by: Чарнецки К. Кшиштоф
Published: (СПб., Питер, 2005)

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

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

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

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

Интеллектуальные средства измерений: учебник
by: Раннев Г. Г. Георгий Георгиевич
Published: (Москва, Академия, 2011)

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

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

Семейство микроконтроллеров STM32. Программирование и применение учебное пособие
by: Конченков В. И.
Published: (Волгоград, ВолгГТУ, 2015)

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

Программное обеспечение: учебное пособие
by: Голицына О. Л. Ольга Леонидовна
Published: (Москва, Форум, 2006)

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