Приложение
для AndroidПолное описание
Пичугин, В. Н. Рекурсивно-логическое программирование : учеб. пособие / В. Н. Пичугин, М. П. Немкова ; Чуваш. гос. ун-т им. И. Н. Ульянова. - Чебоксары : Чуваш. ун-т, 2016. - 175 с. : ил. - Библиогр.: с. 175 (15 назв.). - 200 экз. - ISBN 978-5-7677-2305-8 : 260 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41 | 004.42.047 |
Рубрики:
Программирование для ЭВМ логическое
Доп. точки доступа:
Немкова, М.П.
Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары)
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Рекурсивно-логическое программирование : учеб. пособие / С. А. Савушкин, 2009. - 86 с. - Текст : непосредственный.Черкашин Е.А. Рекурсивно-логическое программирование : учеб. пособие / Е. А. Черкашин, 2013. - 109 с.Пичугин В.Н. Рекурсивно-логическое программирование : учеб. пособие / В. Н. Пичугин, М. П. Немкова, 2016. - 175 с.Солдатов, Антон Александрович. Рекурсивно-логическое программирование : учебное пособие / А. А. Солдатов, 2022. - 171 с. - Текст (визуальный) : непосредственный.
Инновационная экономика и региональное инновационно-устойчивое развитие. Экологические аспекты регионального инновационно-устойчивого развития : материалы Всерос. науч.-практ. конф. / гос. ун-тИ.Н.У. Чуваш., 2006. - 215 с. - Текст : непосредственный.Экономика Чувашской Республики : учеб. пособие / Л. П. Кураков [и др.]; под ред. Л. П. Куракова, 2007. - 575 с. - Текст : непосредственный.Информатика и вычислительная техника : сб. науч. тр. 41-й науч. студенческой науч. конф. / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2007. - 75 с. - Текст : непосредственный.Сборник научных трудов молодых ученых и специалистов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2007. - 260 с. - Текст : непосредственный.Информатика и вычислительная техника : сб. науч. тр. / Чуаш. гос. ун-т им. И. Н. Ульянова, 2008. - 63 с. - Текст : непосредственный.Проблемы развития и внедрения информационных технологий : материалы 2 международ. науч.-практ. конф., г. Чебоксары, 25 янв. 2008 г. / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2008. - 173 с. - Текст : непосредственный.Информатика и вычислительная техника : сб. науч. трудов / Чувашский гос. ун-т им. И. Н. Ульянова, 2012. - 91 с. - Текст : непосредственный.Информационные технологии в электротехнике и электроэнергетике. ИТЭЭ-2012 : материалы VIII Всерос. науч.-техн. конф. / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2012. - 302 с. - Текст : непосредственный.Региональная экономика и предпринимательство. Вопросы и ответы : учеб. пособие / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2012. - 365 с. - Текст : непосредственный.Компьютерные технологии и моделирование : сб. науч. тр. / Чуваш. гос. ун-т им. И. Н. Ульянова. Вып. 8, 2012. - 75 с. - Текст : непосредственный.Бухгалтерский учет и анализ : сб. задач / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2012. - 95 с. - Текст : непосредственный.Новое в архитектуре, проектировании строительных конструкций и реконструкции : материалы I Междунар. (VII Всерос.) конф., 14-15 нояб. 2012, НАСКР / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2012. - 409 с. - Текст : непосредственный.Оборудование литейных цехов : метод. указ. / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2012. - 68 с. - Текст : непосредственный.Актуальные вопросы химической технологии и защиты окружающей среды : сб. материалов Всерос. конф., г. Новочебоксарск, 25-26 окт. 2012 г. / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2012. - 215 с. - Текст : непосредственный.Региональная энергетика и электротехника: проблемы и решения : сб. науч. тр. / Чувашский ун-т им. И. Н. Ульянова. Вып. 8 (2012), 2012. - 264 с. - Текст : непосредственный.Сборник научных трудов молодых ученых и специалистов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2012. - 287 с. - Текст : непосредственный.Математические модели и их приложения : Сб. науч. тр. / Чуваш. гос. ун-т им. И.Н. Ульянова. Вып. 15, 2013. - 243 с. - Текст : непосредственный.Математика. Образование : материалы XXI Междунар. конф., 27 мая - 2 июня 2013 г., Чебоксары / Чуваш. гос. ун-т им. И. Н. Ульянова, 2013. - 419 с. - Текст : непосредственный.Информатика и вычислительная техника : сб. науч. тр. / Чуваш. гос. ун-т им. И. Н. Ульянова, 2013. - 91 с. - Текст : непосредственный.Качество и инновации в XXI веке : материалы XI Междунар. науч.-практ. конф., Чебоксары, 24-25 апр. 2013 г. / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2013. - 321 с.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыColussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Apt K.R. A new definition of SLDNF-resolution / K.R.Apt,H.C.Doets, 1992. - 12 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Teusink F. A characterization of stable models using a non-monotonic operator / F.Teusink, 1993. - 21 p. - Текст : непосредственный.Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 p. - Текст : непосредственный.Bonsangue M. Isomorphisms between predicate and state transformers / M.Bonsangue,J.N.Kok, 1993. - 30 p. - Текст : непосредственный.Bostrom H. Explanation-based transformation of logic programs : Diss / H.Bostr@:om, 1993. - 178 p. - Текст : непосредственный.Walter J. Parallele Abarbeitung logischer Programme auf einem Multi- Transputer-System : Diss. / J.Walter, 1993. - 221 S. - Текст : непосредственный.Bossi A. Simultaneous replacement in normal programs / A.Bossi,N.Cocco,S.Etalle, 1993. - 34 p. - Текст : непосредственный.Teusink F. proof procedure for extended logic programs / F.Teusink, 1993. - 12 p. - Текст : непосредственный.Differential logic programs:semantics and programming methodologies / A.Bossi,M.Bugliesi,M.Gabbrielli и др., 1993. - 49 p. - Текст : непосредственный.Apt K.R. Logic programming and negation:a survey / K.R.Apt,R.N.Bol, 1994. - 62 p. - Текст : непосредственный.Tick E. Parallel logic programming / E.Tick, 1991. - 486 p. - Текст : непосредственный.s-semantics approach:theory and applications / A.Bossi,M.Gabbrielli,G.Levi,M.Martelli, 1994. - 49 p. - Текст : непосредственный. Breugel F.van Solving domain equations in a category of compact metric spaces / F.van Breugel,J.Warmerdam, 1994. - 24 p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.Bibel W. Deduktion : Automatisierung der Logik / W.Bibel;Unter Mitarbeit von S.Holldobler, 1992. - 269 S. - Текст : непосредственный.Bossi A. Transforming acyclic programs / A.Bossi,S.Etalle, 1993. - 14 p. - Текст : непосредственный.Apt K.R. Declarative interpretations reconsidered / K.R.Apt,M.Gabbrielli, 1994. - 16 p. - Текст : непосредственный.Bossi A. A bottum-up semantics for constructive negation / A.Bossi,M.Fabris,M.C.Meo, 1994. - 22 p. - Текст : непосредственный.
Показать все результатыМанцивода А.В. Логическое программирование в ограничениях: семантический подход : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Боголюбов Д.П. Разработка интеллектуальной среды обучения логическому программированию : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Д. П. Боголюбов, 1995. - 15 с. - Текст : непосредственный.Шакиров А.А. Логико-алгебраические способы описания геометрических фигур : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. А. Шакиров, 1997. - 18 с. - Текст : непосредственный.Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Apt K.R. A new definition of SLDNF-resolution / K.R.Apt,H.C.Doets, 1992. - 12 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Constraint programming : Proc.of the NATO advanced study inst.on constraint programming,Parnu,Estonia,Aug.13-24,1993 / Ed. B. Mayoh, 1994. - 449 p. - Текст : непосредственный.Teusink F. A characterization of stable models using a non-monotonic operator / F.Teusink, 1993. - 21 p. - Текст : непосредственный.Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 p. - Текст : непосредственный.Bonsangue M. Isomorphisms between predicate and state transformers / M.Bonsangue,J.N.Kok, 1993. - 30 p. - Текст : непосредственный.Bostrom H. Explanation-based transformation of logic programs : Diss / H.Bostr@:om, 1993. - 178 p. - Текст : непосредственный.Walter J. Parallele Abarbeitung logischer Programme auf einem Multi- Transputer-System : Diss. / J.Walter, 1993. - 221 S. - Текст : непосредственный.Bossi A. Simultaneous replacement in normal programs / A.Bossi,N.Cocco,S.Etalle, 1993. - 34 p. - Текст : непосредственный.Teusink F. proof procedure for extended logic programs / F.Teusink, 1993. - 12 p. - Текст : непосредственный.Differential logic programs:semantics and programming methodologies / A.Bossi,M.Bugliesi,M.Gabbrielli и др., 1993. - 49 p. - Текст : непосредственный.Apt K.R. Logic programming and negation:a survey / K.R.Apt,R.N.Bol, 1994. - 62 p. - Текст : непосредственный.Tick E. Parallel logic programming / E.Tick, 1991. - 486 p. - Текст : непосредственный.Logic programming : Proc.of the 7th intern.conf.,held in Jerusalem,June 18-20,1990 / Ed.: D. H.D. Warren, P. Szeredi, 1990. - 788 p. - Текст : непосредственный.Logic programming : Proc.of the 1991 intern.symp.,held in San Diego,U.S.A.,Oct.28-Nov.1,1991 / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.s-semantics approach:theory and applications / A.Bossi,M.Gabbrielli,G.Levi,M.Martelli, 1994. - 49 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽