Искусство программирования на языке Пролог: пер. с англ.
| Հիմնական հեղինակ: | Стерлинг Л. Леон |
|---|---|
| Այլ հեղինակներ: | Шапиро Э. Эгуд |
| Լեզու: | ռուսերեն |
| Հրապարակվել է: |
Москва, Мир, 1990
|
| Խորագրեր: | |
| Ձևաչափ: | Գիրք |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=35727 |
Նմանատիպ նյութեր
Реляционный язык Пролог и его применение: пер. с англ.
: Малпас Дж. Р. Джон Р.
Հրապարակվել է: (Москва, Наука, 1990)
: Малпас Дж. Р. Джон Р.
Հրապարակվել է: (Москва, Наука, 1990)
C++ под рукой: пер. с англ.
: Лукас П. Пол
Հրապարակվել է: (Киев, ДиаСофт, 1993)
: Лукас П. Пол
Հրապարակվել է: (Киев, ДиаСофт, 1993)
Язык программирования Пролог: пер. с англ.
: Стобо Д. Джон
Հրապարակվել է: (Москва, Радио и связь, 1993)
: Стобо Д. Джон
Հրապարակվել է: (Москва, Радио и связь, 1993)
Логическое программирование. Язык Пролог тексты лекций
: Волчёнков Н. Г.
Հրապարակվել է: (Москва, НИЯУ МИФИ, 2015)
: Волчёнков Н. Г.
Հրապարակվել է: (Москва, НИЯУ МИФИ, 2015)
Искусственный интеллект и пролог на микроЭВМ
: Макаллистер Дж.
Հրապարակվել է: (Москва, Машиностроение, 1990)
: Макаллистер Дж.
Հրապարակվել է: (Москва, Машиностроение, 1990)
Введение в логическое программирование на микро-прологе: пер. с англ.
: Кларк Кейт Л.
Հրապարակվել է: (Москва, Радио и связь, 1987)
: Кларк Кейт Л.
Հրապարակվել է: (Москва, Радио и связь, 1987)
Программирование на языке Пролог для искусственного интеллекта: пер. с англ.
: Братко И. Иван
Հրապարակվել է: (Москва, Мир, 1990)
: Братко И. Иван
Հրապարակվել է: (Москва, Мир, 1990)
Справочник программиста персональных компьютеров типа IBK PC, XT AT: пер. с англ.
: Джордейн Р. Роберт
Հրապարակվել է: (Москва, Финансы и статистика, 1992)
: Джордейн Р. Роберт
Հրապարակվել է: (Москва, Финансы и статистика, 1992)
Логическое программирование: сборник статей; пер. с англ. и фр.
Հրապարակվել է: (Москва, Мир, 1988)
Հրապարակվել է: (Москва, Мир, 1988)
ПРОЛОГ - язык программирования будущего: пер. с англ.
: Доорс Дж.
Հրապարակվել է: (Москва, Финансы и статистика, 1990)
: Доорс Дж.
Հրապարակվել է: (Москва, Финансы и статистика, 1990)
Микропроцессор 80386 и его программирование: пер. с англ.
: Брамм П. Пенн
Հրապարակվել է: (Москва, Мир, 1990)
: Брамм П. Пенн
Հրապարակվել է: (Москва, Мир, 1990)
Теория и практика логического программирования на языке Visual Prolog 7: учебное пособие
: Цуканова Н. И. Нина Ивановна
Հրապարակվել է: (Москва, Горячая линия-Телеком, 2013)
: Цуканова Н. И. Нина Ивановна
Հրապարակվել է: (Москва, Горячая линия-Телеком, 2013)
Пролог в примерах и задачах
: Ходашинский И. А. Илья Александрович
Հրապարակվել է: (Томск, Курсив, 2001)
: Ходашинский И. А. Илья Александрович
Հրապարակվել է: (Томск, Курсив, 2001)
Использование Турбо - Пролога: пер. с англ.
: Ин Цин Маун Цин Маун
Հրապարակվել է: (Москва, Мир, 1993)
: Ин Цин Маун Цин Маун
Հրապարակվել է: (Москва, Мир, 1993)
Интеллектуальное программирование: Турбо-пролог и рефал-5 на персональных компьютерах
Հրապարակվել է: (СПб., Изд-во СПбГУ, 1992)
Հրապարակվել է: (СПб., Изд-во СПбГУ, 1992)
Программирование на языке Пролог
: Клоксин У. Уильям
Հրապարակվել է: (Москва, Мир, 1987)
: Клоксин У. Уильям
Հրապարակվել է: (Москва, Мир, 1987)
Логика и пролог в дискретной математике
: Набебин А. А. Алексей Александрович
Հրապարակվել է: (Москва, Изд-во МЭИ, 1996)
: Набебин А. А. Алексей Александрович
Հրապարակվել է: (Москва, Изд-во МЭИ, 1996)
Устройства ввода-вывода современных вычислительных машин
: Адасько В. И. Владимир Иосифович
Հրապարակվել է: (Москва, Энергия, 1971)
: Адасько В. И. Владимир Иосифович
Հրապարակվել է: (Москва, Энергия, 1971)
Язык Пролог в пятом поколении ЭВМ: сборник статей; пер. с англ.
Հրապարակվել է: (Москва, Мир, 1988)
Հրապարակվել է: (Москва, Мир, 1988)
Программирование экспертных систем на Турбо Прологе: пер. с англ.
: Марселлус Д. Дэнэл
Հրապարակվել է: (Москва, Финансы и статистика, 1994)
: Марселлус Д. Дэнэл
Հրապարակվել է: (Москва, Финансы и статистика, 1994)
Системы искусственного интеллекта. Практикум для проведения лабораторных работ
: Харахан О. Г.
Հրապարակվել է: (Москва, Горная книга, 2006)
: Харахан О. Г.
Հրապարակվել է: (Москва, Горная книга, 2006)
Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции
Հրապարակվել է: (Таллин, Изд-во ин-та кибернетики, 1986)
Հրապարակվել է: (Таллин, Изд-во ин-та кибернетики, 1986)
Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01
: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)
: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)
Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)
: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)
Турбо-Пролог в сжатом изложении: пер. с нем.
: Янсон А. Александр
Հրապարակվել է: (Москва, Мир, 1991)
: Янсон А. Александр
Հրապարակվել է: (Москва, Мир, 1991)
Функциональное и логическое программирование: учебное пособие
: Сергиевский Г. М. Георгий Максимович
Հրապարակվել է: (Москва, Академия, 2010)
: Сергиевский Г. М. Георгий Максимович
Հրապարակվել է: (Москва, Академия, 2010)
Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)
: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)
Язык программирования лого
: Дьяконов В. П. Владимир Павлович
Հրապարակվել է: (Москва, Радио и связь, 1991)
: Дьяконов В. П. Владимир Павлович
Հրապարակվել է: (Москва, Радио и связь, 1991)
Парадигма программирования учебное пособие для вузов
: Городняя Л. В.
Հրապարակվել է: (Санкт-Петербург, Лань, 2021)
: Городняя Л. В.
Հրապարակվել է: (Санкт-Петербург, Лань, 2021)
Интеллектуальные информационные системы лабораторный практикум
: Козлов А. Н.
Հրապարակվել է: (Пермь, ПГАТУ, 2022)
: Козлов А. Н.
Հրապարակվել է: (Пермь, ПГАТУ, 2022)
Языки программирования: учебное пособие
: Тюгашев А. А. Андрей Александрович
Հրապարակվել է: (Санкт-Петербург, Питер, 2014)
: Тюгашев А. А. Андрей Александрович
Հրապարակվել է: (Санкт-Петербург, Питер, 2014)
Аппаратно-программные средства процессоров логического вывода
: Вишняков В. А. Владимир Анатольевич
Հրապարակվել է: (Москва, Радио и связь, 1991)
: Вишняков В. А. Владимир Анатольевич
Հրապարակվել է: (Москва, Радио и связь, 1991)
Т. 6; Вычислительные науки
Հրապարակվել է: (1991)
Հրապարակվել է: (1991)
Т. 4; Вычислительные науки
Հրապարակվել է: (1990)
Հրապարակվել է: (1990)
Обольстить логикой. Выводы на все случаи жизни
: Дрёссер К. Кристоф
Հրապարակվել է: (Москва, Лаборатория знаний, 2025)
: Дрёссер К. Кристоф
Հրապարակվել է: (Москва, Лаборатория знаний, 2025)
Искусство программирования
: Невская Е. С. Елена Сергеевна
Հրապարակվել է: (Москва, Вузовская книга, 2002)
: Невская Е. С. Елена Сергеевна
Հրապարակվել է: (Москва, Вузовская книга, 2002)
Автоматизация проектирования ЭВМ: учебное пособие для вузов
: Скляров В. А. Валерий Анатольевич
Հրապարակվել է: (Минск, Вышэйшая школа, 1990)
: Скляров В. А. Валерий Анатольевич
Հրապարակվել է: (Минск, Вышэйшая школа, 1990)
Электрический расчет высоковольтных вводов: конспект по курсу " Расчет и конструирование электрической изоляции"
: Мантров М. И. Михаил Иванович
Հրապարակվել է: (Москва, 1962)
: Мантров М. И. Михаил Иванович
Հրապարակվել է: (Москва, 1962)
Язык программирования С ++: пер. с англ.
: Страуструп Б. Бьерн
Հրապարակվել է: (Москва, Радио и связь, 1991)
: Страуструп Б. Бьерн
Հրապարակվել է: (Москва, Радио и связь, 1991)
Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация; Информатика
Հրապարակվել է: (1998)
Հրապարակվել է: (1998)
Նմանատիպ նյութեր
-
Реляционный язык Пролог и его применение: пер. с англ.
: Малпас Дж. Р. Джон Р.
Հրապարակվել է: (Москва, Наука, 1990) -
C++ под рукой: пер. с англ.
: Лукас П. Пол
Հրապարակվել է: (Киев, ДиаСофт, 1993) -
Язык программирования Пролог: пер. с англ.
: Стобо Д. Джон
Հրապարակվել է: (Москва, Радио и связь, 1993) -
Логическое программирование. Язык Пролог тексты лекций
: Волчёнков Н. Г.
Հրապարակվել է: (Москва, НИЯУ МИФИ, 2015) -
Искусственный интеллект и пролог на микроЭВМ
: Макаллистер Дж.
Հրապարակվել է: (Москва, Машиностроение, 1990)