Полное описание
> Миклашевская, Л. Н. Логическое программирование : учеб. пособие / Миклашевская Л.Н.,Малыхина М.П.,Частиков А.П. - Краснодар : [б. и.], 20 - . - В надзаг.:Кубанск. гос.технолог. ун-т. - Текст : непосредственный. Ч. 1 . - 2002. - 141 с. : ил. - 80 экз. Библиогр.: с.139
ГРНТИ УДК 50.05.13 004.42.047
Рубрики: Программирование для ЭВМ логическое
Доп. точки доступа: Малыхина, М.П.
Частиков, А.П.
>
Экз-ры полностью 659990f6feb374b43200630f6d36ac2d Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/58760/1)>
Шифр в сводном ЭК: 659990f6feb374b43200630f6d36ac2d
Тотухов К.Е. Разработка метода интеллектуальной компьютерной симуляции робототехнических устройств с функцией корректировки погрешностей позиционирования : монография / К. Е. Тотухов, П. М. Урвачев, А. П. Частиков, 2017. - 153 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Частиков А.П. Интеллектуальные поисковые системы : Учеб. пособие для студентов вузов по направлению "Информатика и вычисл. техника, спец.:"Вычисл. машины, комплексы, системы и сети", Автоматизир. системы обраб. информ. и упр." / А.П.Частиков,С.С.Волков, 2001. - 315 с. - Текст : непосредственный. Малыхина М.П. Базы данных: основы, проектирование, использование : учеб. пособие / М. П. Малыхина, 2006. - IX,517 с. - Текст : непосредственный. Частиков А.П. Архитекторы компьютерного мира / А.П.Частиков, 2002. - 383 с. - Текст : непосредственный. Малыхина М.П. Программирование на языке высокого уровня C# : учеб. пособие / М. П. Малыхина, В. А. Частикова, 2011. - 249 с. - Текст : непосредственный. Малыхина М.П. Эволюция языков программирования / М. П. Малыхина, А. П. Частиков, 2006. - 107 с. - Текст : непосредственный. Миклашевская, Л. Н. Логическое программирование : Учеб. пособие. Ч. 2, 2005. - 123 с. - Текст : непосредственный. Частиков А.П. Регенеративные экспертные системы / А. П. Частиков, Д. Л. Белов, В. А. Частикова, 2014. - 127 с. - Текст : непосредственный. Малыхина М.П. Программирование на языке высокого уровня : Учеб. пособие / М.П.Малыхина, 2003. - 298 с. - Текст : непосредственный. Малыхина М.П. Распределенные базы данных : учеб. пособие / М. П. Малыхина, Ю. В. Бегман, 2017. - 139 с. - Текст : непосредственный. Малыхина М.П. Базы данных в MS SQL Server : учеб.-метод. пособие / М. П. Малыхина, В. А. Частикова, 2016. - 163 с. - Текст : непосредственный. Малыхина М.П. Нейросетевая экспертная система на основе прецедентов для решения проблем абонентов сотовой сети / М. П. Малыхина, Ю. В. Бегман, 2011. - 148 с. - Текст : непосредственный. Малыхина М.П. Программирование в среде Delphi : Учеб. пособие / М. П. Малыхина, М. В. Янаева, Ю. В. Бегман, 2004. - 274 с. - Текст : непосредственный. Экспертные системы: инструментальные средства разработки : Учеб. пособие для студентов вузов по направлению "Информатика и вычисл. техника" спец. "Прогр. обеспечение вычисл. техники и автоматизир. систем", "Конструирование и технология электрон.-вычисл. средств", "Автоматизир. системы обраб. информ. и упр." / Л.А.Керов,А.П.Частиков,Ю.В.Юдин,В.А.Юхтенко, 1996. - 219 с. - Текст : непосредственный. Частиков А.П. Интеллектуализация процессов поиска текстовой информации / А.П.Частиков,С.С.Волков, 2002. - 154 с. - Текст : непосредственный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Шалимов П.Ю. Логическое программирование : учеб. пособие / П. Ю. Шалимов, 2014. - 82 с. - Текст : непосредственный. Муравьев Е.А. Логическое программирование : Учеб. пособие / Е.А.Муравьев,Н.В.Ухина, 1994. - 83 c. - Текст : непосредственный. Пантелеев Е.Р. Логическое программирование : Учеб. пособие / Е.Р.Пантелеев,Д.А.Куликов, 2000. - 79 с. - Текст : непосредственный. Новиков П.В. Логическое программирование : учеб. пособие к лаб. работам / П. В. Новиков, 2007. - 99 с. - Текст : непосредственный. Сидоркина И.Г. Логическое программирование : Учеб.пособие / И.Г.Сидоркина,А.Г.Ветлугин, 1997. - 55 с. - Текст : непосредственный. Волосова А.В. Логическое программирование : лекции: учебное пособие / А. В. Волосова, Е. Н. Матюхина, 2019. - 55 с. - Текст : непосредственный. Зюзьков В.М. Логическое программирование : Учеб.пособие / В.М.Зюзьков, 1999. - 116 с. - Текст : непосредственный. Боровская, Елена Владимировна. Основы искусственного интеллекта : учебное пособие / Е. В. Боровская, Н. А. Давыдова, 2022. - 127 с. (Введено оглавление). - Текст (визуальный) : непосредственный. Петренко, Александр Анатольевич. Логическое программирование : Учебник / Пермский Национальный Исследовательский Политехнический Университет, 2025. - 221 с. - Текст : электронный. Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный. 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. - Текст : непосредственный. Algebraic and logic programming : материалы временных коллективов / Ed.: H. Kirchner, W. Wechler, 1990. - 386 p. - Текст : непосредственный. Programming language implementation and logic programming : материал технической информации / Ed.: P. Decansant, J. Maluszynski, 1990. - VIII,401 p. p. - Текст : непосредственный. Programming language implementation and logic programming : материалы временных коллективов / Ed.: J. Maluszynski, M. Wirsing, 1991. - 433 p. - Текст : непосредственный. Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный. Recent advances in constraints / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽