Полное описание
> Беляков, А. Ю. Практика логического программирования на языке Пролог : учебное пособие / А. Ю. Беляков ; Пермская гос. с.-х. академия им. Д. Н. Прянишникова. - Пермь : ПрокростЪ, 2017. - 122 с. : ил. - Библиогр.: с. 118 (7 назв.). - 50 экз. - ISBN 978-5-94279-360-9. - Текст : непосредственный.
ГРНТИ УДК 50.05.09 004.438 004.42.047
Рубрики: Программирования языки -- Prolog
Программирование для ЭВМ логическое
Доп. точки доступа: Пермская гос. с.-х. академия им. Д. Н. Прянишникова
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-17/48457)>
Шифр в сводном ЭК: c6e3f4643f66df5276b2d986615ac796
Беляков А.Ю. Оценка токсичности буровых шламов и эколого-функциональные особенности выделенных из них микроорганизмов / А. Ю. Беляков, 2014. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Беляков А.Ю. Программирование сложных информационных систем : учебное пособие / А. Ю. Беляков, 2017. - 120 с. - Текст : непосредственный. Беляков А.Ю. Объектно-ориентированное программирование : учебное пособие / А. Ю. Беляков, 2017. - 88 с. - Текст : непосредственный. Беляков А.Ю. Практика логического программирования на языке Пролог : учебное пособие / А. Ю. Беляков, 2017. - 122 с. - Текст : непосредственный. Беляков А.Ю. Определение токсического воздействия на почву бурового раствора на углеводородной основе с помощью различных приемов биотестирования / А. Ю. Беляков, Д. С. Головко, Е. В. Плешакова. - Текст : непосредственный // Известия Саратовского университета. Новая серия. Серия: Химия. Биология. Экология. - Саратов. - 2012. - Т. 12 вып. 3. - с. 106-113 Беляков А.Ю. Скрининг микроорганизмов-деструкторов компонентов буровых растворов / А. Ю. Беляков, Е. В. Плешакова. - Текст : непосредственный // Известия Саратовского университета. Новая серия. Серия: Химия. Биология. Экология. - Саратов. - 2013. - Т. 13 вып. 4. - с. 37-42 Беляков А.Ю. Стратегическое планирование устойчивого развития сельских территорий : автореф. дис. .. канд. экон. наук: 08.00.05 / А. Ю. Беляков, 2006. - 17 с. - Текст : непосредственный. Горбатова А.П. Технологическая минералогия : Учеб. пособие / А.П.Горбатова,А.Ю.Беляков, 1991. - 36 с. - Текст : непосредственный. Васильев А.А. Железо и тяжелые металлы в аллювиальных почвах Среднего Предуралья / А. А. Васильев, А. В. Романова, 2014. - 231 с. - Текст : непосредственный. Британ Е.А. Самостоятельная работа студентов по курсу "Общая химия" : выставочные материалы / Е. А. Британ, С. А. Киселева, 2015. - 175 с. - Текст : непосредственный. Шешукова Т.Г. Стратегический управленческий анализ внешней среды : монография / Т. Г. Шешукова, Л. В. Шалаева, 2015. - 139 с. - Текст : непосредственный. Молодежная наука 2015: технологии, инновации : материалы Всерос. науч.-практ. конф. молодых ученых, аспирантов и студентов, Пермь, 11-13 марта 2015 г. / Перм. гос. с.-х. акад. им. Д. Н. Прянишникова. Ч. 3, 2015. - 434 с. - Текст : непосредственный. Молодежная наука 2015: технологии, инновации : материалы Всерос. науч.-практ. конф. молодых ученых, аспирантов и студентов, Пермь, 11-13 марта 2015 г. / Перм. гос. с.-х. акад. им. Д. Н. Прянишникова. Ч. 2, 2015. - 376 с. - Текст : непосредственный. Отраслевая, региональная и международная экономика : выставочные материалы / Ф. З. Мичурина, В. Ф. Еремеев, И. В. Евграфов [и др.], 2015. - 383 с. - Текст : непосредственный. Молодежная наука 2013: технологии, инновации : материалы LXXIII Всерос. науч.-практ. конф. молодых ученых, аспирантов и студентов, Пермь, 11-15 марта 2013 г. Ч. 1, 2013. - 311 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Беляков А.Ю. Программирование сложных информационных систем : учебное пособие / А. Ю. Беляков, 2017. - 120 с. - Текст : непосредственный. Беляков А.Ю. Объектно-ориентированное программирование : учебное пособие / А. Ю. Беляков, 2017. - 88 с. - Текст : непосредственный. Аюпов В.В. Прикладная математика : учебное пособие / В. В. Аюпов, А. В. Аюпов, 2017. - 147 с. - Текст : непосредственный. Беляков А.Ю. Практика логического программирования на языке Пролог : учебное пособие / А. Ю. Беляков, 2017. - 122 с. - Текст : непосредственный. Гордеев Б.С. Механизация работ в плодовых, ягодных и лесных питомниках : учеб. пособие / Б. С. Гордеев, В. А. Хандриков, К. А. Грубов, 2015. - 128 с. - Текст : непосредственный. Глотина И.М. Экономическая безопасность в контексте информационного общества : монография / И. М. Глотина, 2015. - 164 с. - Текст : непосредственный. Кузьмина Н.А. Линейная алгебра : учеб. пособие / Н. А. Кузьмина, 2016. - 81 с. - Текст : непосредственный. Технология производства продукции растениеводства : учеб. пособие / А. С. Богатырева [и др.]; под ред. С. Л. Елисеева, 2016. - 124 с. - Текст : непосредственный. Показать все результаты BASIC, 1992. - 97 с. - Текст : непосредственный. Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный. Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный. Хеслоп Б. НТМL с самого начала / Б. Хеслоп, Л. Бадник, 1997. - 406 с. - Текст : непосредственный. Янг М.Дж. Microsoft Visual C++ 4 для профессионалов / М. Дж. Янг, 1997. - 702 c. - Текст : непосредственный. Емелина Е.И. Основы программирования на языке Паскаль / Е. И. Емелина, 1997. - 207 с. - Текст : непосредственный. Фальк В.Н. Теория направленных отношений и ее приложения : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Н. Фальк, 2001. - 40 с. - Текст : непосредственный. Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный. Килов Х.И. Фортран для БЭСМ-4 (МИФ), 1973. - 157 с. - Текст : непосредственный. Любанович Б. Простой Python. Современный стиль программирования : монография / Б. Любанович, 2017. - 476 с. - Текст : непосредственный. Фортран 77 ЕС ЭВМ / З. С. Брич, О. Н. Гулецкая, Д. В. Капилевич, 1989. - 351 с. - Текст : непосредственный. Фаронов В.В. Турбо Паскаль. Практика программирования / В. В. Фаронов, 2001. - 415 с. - Текст : непосредственный. Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный. Грабер М. Введение в SQL / М. Грабер, 2008. - 375 с. - Текст : непосредственный. БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный. Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный. Ramm F. Microsoft BASIC PDC 7.1 : монография / F. Ramm, 1992. - XX,601 S. S. - Текст : непосредственный. Березин Б.И. Начальный курс С и С++ / Б. И. Березин, С. Б. Березин, 2007. - 288 с. - Текст : непосредственный. Зубков С.В. Assembler для DOS, Windows и UNIX / С. В. Зубков, 2006. - 608 с. - Текст : непосредственный. Фленов М.Е. Библия С # / М. Е. Фленов, 2009. - 547 с. - Текст : непосредственный. Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный. Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный. Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный. Naidich D. On generic representation of implicit induction procedures / D. Naidich, 1996. - 31 p. - Текст : непосредственный. Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный. Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный. Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный. Bossi A. A bottum-up semantics for constructive negation / A. Bossi, M. Fabris, M. C. Meo, 1994. - 22 p. - Текст : непосредственный. Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный. Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный. s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты BASIC, 1992. - 97 с. - Текст : непосредственный. Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный. Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Хеслоп Б. НТМL с самого начала / Б. Хеслоп, Л. Бадник, 1997. - 406 с. - Текст : непосредственный. Янг М.Дж. Microsoft Visual C++ 4 для профессионалов / М. Дж. Янг, 1997. - 702 c. - Текст : непосредственный. Емелина Е.И. Основы программирования на языке Паскаль / Е. И. Емелина, 1997. - 207 с. - Текст : непосредственный. Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный. Килов Х.И. Фортран для БЭСМ-4 (МИФ), 1973. - 157 с. - Текст : непосредственный. Любанович Б. Простой Python. Современный стиль программирования : монография / Б. Любанович, 2017. - 476 с. - Текст : непосредственный. Фортран 77 ЕС ЭВМ / З. С. Брич, О. Н. Гулецкая, Д. В. Капилевич, 1989. - 351 с. - Текст : непосредственный. Фаронов В.В. Турбо Паскаль. Практика программирования / В. В. Фаронов, 2001. - 415 с. - Текст : непосредственный. Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный. Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный. Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Ramm F. Microsoft BASIC PDC 7.1 : монография / F. Ramm, 1992. - XX,601 S. S. - Текст : непосредственный. Березин Б.И. Начальный курс С и С++ / Б. И. Березин, С. Б. Березин, 2007. - 288 с. - Текст : непосредственный. Фленов М.Е. Библия С # / М. Е. Фленов, 2009. - 547 с. - Текст : непосредственный. Культин Н.Б. С/С++ в задачах и примерах / Н. Б. Культин, 2009. - VII,368 с. - Текст : непосредственный. Фленов М.Е. Библия С # / М. Е. Фленов, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽