Приложение
для AndroidПолное описание
Breugel, F. van Solving domain equations in a category of compact metric spaces / F.van Breugel,J.Warmerdam. - Amsterdam : [s. n.], 1994. - 24 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9424). - 100 р. - Текст : непосредственный.
Библиогр.:с.22-24
| ГРНТИ | УДК | |
| 50.05.03 | 004.42.047 |
Рубрики:
Программирование для ЭВМ логическое
Доп. точки доступа:
Warmerdam, J.
Имеются экземпляры в отделах: всего 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. - Текст : непосредственный.
Показать все результатыРуководство по программированию контроллера Sinumerik 8N. Издание 6.86 / ВЦП. - 100 с. - Текст : непосредственный.Взгляд на экран. Серия по программированию. Последовательное описание программирования для ПЭВМ ZX Spectrum / ВЦП. - 212 c. - Текст : непосредственный.Ханна Джабр.Разработка средств автоматизации обеспечения мобильности типовых системных программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ханна Джабр, 1991. - 16 с. - Текст : непосредственный.Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Марков А.С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости : Дис..д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков, 1990. - 68 с. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.Маслов В.Ю. Разработка векторизатора для системы кросс-программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. Ю. Маслов, 1991. - 15 с. - Текст : непосредственный.Попрыгаев Е.В. Разработка ядра системы обосновательного гиперпрограммирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. В. Попрыгаев, 1991. - 12 с. - Текст : непосредственный.Крушняков В.Н. Средства автоматизации построения компонентов систем программирования на базе языкоориентированной архитектуры МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Н. Крушняков, 1991. - 13 с. - Текст : непосредственный.Аджиев В.Д. Проектирование системы программирования для интегрированных систем машинной геометрии и графики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Д. Аджиев, 1992. - 20 с. - Текст : непосредственный.Панкратов С.А. Интегрированная операционная среда параллельного программирования для крупноблочных многопроцессорных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. А. Панкратов, 1992. - 18 с. - Текст : непосредственный.Борщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.Григорьев С.Г. Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / С. Г. Григорьев, 1993. - 35 с. - Текст : непосредственный.Смешанно-целочисленное программирование для персонального компьютера IBM PC : Руководство пользователя системы MILP88. Версия 5.02 / ВЦП. - 67 c. - Текст : непосредственный.Данг Чыонг Шон.Разработка интеллектуальной системы программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон, 1992. - 15 с. - Текст : непосредственный.Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Руководство для пользователя программного изделия VAXELN. Ч.1 / ВЦП. - 211 c. - Текст : непосредственный.Чирков А.Ю. О выделении полиномиальных подклассов в задаче целочисленного линейного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / А. Ю. Чирков, 1993. - 14 с. - Текст : непосредственный.Родионов А.В. Геометрические свойства и численные методы нелинейной оптимизации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. В. Родионов, 1993. - 16 с. - Текст : непосредственный.Березин Е.Г. Языковые средства программирования в объектно-базированной среде КЛАСТОС : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Е. Г. Березин, 1993. - 20 с. - Текст : непосредственный.
Показать все результаты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. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽