Приложение
для AndroidПолное описание
Linear logic I : meeting, Tokyo, Mar.28- Apr.2, 1996 / Ed. J.-Y. Girard. - Amsterdam [etc.] : Elsevier, 1999. - 386 p. : ill. - (Theoretical computer science, ISSN 0304-3975 ; 1999,Vol.227,N 1/2). - Б. ц. - Текст : непосредственный.
Библиогр.в конце ст.
| ГРНТИ | УДК | |
| 50.05.13 | 004.42.047(043) |
Рубрики:
Программирование для ЭВМ логическое -- Съезды и конференции
Кл.слова (ненормированные): логическое программирование
Доп. точки доступа:
Girard, J.-Y.\ed.\
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Theoretical Computer Science. - Журнал. - Текст : непосредственный.Papers presented at the 2nd conference on cellular automata for research and industry held in Milan, 16-18 Oct.1996 / ACRI, 1999. - 172 p. - Текст : непосредственный.Linear logic I : Meeting, Tokyo, Mar.28- Apr.2, 1996 / Ed. J.-Y. Girard, 1999. - 386 p. - Текст : непосредственный.Theoretical computer science : Exploring new frontiers of theoretical informaticsIntern. conf. IFIP TCS 2000, Sendai, Japan, Aug.17-19, 2000Proc. / IFIP TCS 2000, 2000. - XV,630 p. p. - Текст : непосредственный.Theoretical computer science : 9th italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005: proceedings / ed. M. Coppo [et al.], 2005 r=on-line.Theoretical computer science : essays in memory of Shimon Even / ed. O. Goldreich [et al.], 2006 r=on-line.Theoretical computer science : 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010 : proceedings / ed. C. S. Calude, V. Sassone, 2010 r=on-line.
Система автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыМанцивода А.В. Логическое программирование в ограничениях: семантический подход : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Боголюбов Д.П. Разработка интеллектуальной среды обучения логическому программированию : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Д. П. Боголюбов, 1995. - 15 с. - Текст : непосредственный.Шакиров А.А. Логико-алгебраические способы описания геометрических фигур : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. А. Шакиров, 1997. - 18 с. - Текст : непосредственный.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. - Текст : непосредственный.Klingler A. Datenparallele Auswertung rekursiver logischer Programme : Diss. / A.Klingler, 1993. - 152 S. - Текст : непосредственный.Tausend B. Beschrankungen der Hypothesensprache und ihre Reprasentation in der Induktiven Logischen Programmierung : Diss. / B.Tausend, 1994. - 226 S. - Текст : непосредственный.Stahl I. Das Einfuhren neuer Pradikate in der Induktiven Logischen Programmierung : Diss / I.Stahl, 1995. - 204 S. - Текст : непосредственный.Johansson A.-L. Logic program synthesis using schema instantiation in an interactive environment : Diss. / A.-L.Johansson, 1995. - XII,195 p. p. - Текст : непосредственный.Bockmayr A.M. Beitrage zur Theorie des logischfunktionalen Programmierens : Diss. / A.M.Bockmayr, 1990. - 127 S. - Текст : непосредственный.Linear logic I : Meeting, Tokyo, Mar.28- Apr.2, 1996 / Ed. J.-Y. Girard, 1999. - 386 p. - Текст : непосредственный.Welsch C. Integration von Konzepten der objektorientierten und logischen Programmierung : Diss. / C.Welsch, 1990. - 194 S. - Текст : непосредственный.Zartmann F. Denotationelle Analysen funktional-logischer Programme : Diss. / F.Zartmann, 1999. - 173 S. - Текст : непосредственный.Разработка и исследование подсистемы исполнения запросов и графического редактора системы функционально-логического программирования : автореф. дис. .. канд. техн. наук : 05.13.11 / А. М. Бебчик, 2005. - 20 с. - Текст : непосредственный.Дехтярь М.И. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : автореф. дис. .. д-ра физ.-мат. наук : 05.13.17 / М. И. Дехтярь, 2009. - 35 с. - Текст : непосредственный.Нечесов, Андрей Витальевич. Полиномиальная вычислимость в семантическом программировании : специальность 1.1.5 - "Математическая логика, алгебра, теория чисел и дискретная математика." : автореферат диссертации на соискание учёной степени кандидата физико-математических наук / Нечесов Андрей Витальевич, 2022. - 23 с. - Текст : непосредственный.
Заказ фрагмента документа ₽