Приложение
для AndroidПолное описание
Apt, K. R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi. - Amsterdam : [s. n.], 1993. - 35 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9316). - 10 р. - Текст : непосредственный.
Библиогр.:с.34-35
| ГРНТИ | УДК | |
| 50.05.13 | 004.42.047 | |
| 50.05.09 | 004.438 |
Рубрики:
Программирование для ЭВМ логическое
Программирования языки -- Prolog
Доп. точки доступа:
Pedreschi, D.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.Взгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Иванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Плисс О.А. Методы оптимизации при реализации объектно-ориентированных языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / О. А. Плисс, 1992. - 16 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.
Показать все результаты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. - Текст : непосредственный.
Показать все результатыИванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Лютый В.Г. Язык модуля -90К и его реализация : Автореферат диссертации на соискание ученой степени кканд.физ.-мат.наук:05.13.11 / В. Г. Лютый, 1993. - 16 с. - Текст : непосредственный.Перекрытия .Турбо Паскаль изнутри. Гл.13- гл.15. / ВЦП. - 65 c. - Текст : непосредственный.Турбо-Паскаль : Справочное руководство пользователя. Гл.1-17 / ВЦП. - 277 c. - Текст : непосредственный.Турбо-Паскаль : Справочное руководство пользователя. Гл.18-27 / ВЦП. - 290 c. - Текст : непосредственный.Манцивода А.В. Логическое программирование в ограничениях: семантический подход : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Соловьев И.П. Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка Пролог : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / И. П. Соловьев, 1995. - 15 с. - Текст : непосредственный.Боголюбов Д.П. Разработка интеллектуальной среды обучения логическому программированию : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Д. П. Боголюбов, 1995. - 15 с. - Текст : непосредственный.Климов А.А. Разработка и экспериментальная реализация интеграции переборных средств языков ПРОЛОГ и РЕФАЛ в синтаксическую среду языка ТУРБО ПАСКАЛЬ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Климов, 1996. - 14 с. - Текст : непосредственный.Шакиров А.А. Логико-алгебраические способы описания геометрических фигур : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. А. Шакиров, 1997. - 18 с. - Текст : непосредственный.Аксенов К.Е. Разработка переносимого программного обеспечения средствами ЛИСП : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / К. Е. Аксенов, 1998. - 17 с. - Текст : непосредственный.Абдрахимов И.С. Процедурная семантика и стратегия поиска решения в системе Флэнг : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / И. С. Абдрахимов, 1998. - 15 с. - Текст : непосредственный.Саввин К.О. Исследование возможности применения Constraint-пролога с вероятностью для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. О. Саввин, 1999. - 16 с. - Текст : непосредственный.Белов М.А. Базовый язык программирования МКП и его реализация : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. А. Белов, 1991. - 20 с. - Текст : непосредственный.Кротов А.Н. Принципы реализации семантики языка Си++ в системе 3C++ : автореф. дис. .. канд. техн. наук : 05.13.11 / А. Н. Кротов, 2002. - 24 с. - Текст : непосредственный.Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Arnson R. The Waite group's MS-DOS QBasis programmer's reference : монография / R.Arnson,C.Gemmell,H.Henderson, 1991. - XII,619 p. p. - Текст : непосредственный.Turbo C user's guide : Version 2.0, 1988. - XV,412 p. мкф.
Показать все результатыЗаказ фрагмента документа ₽