Полное описание
Bonsangue, M.
ГРНТИ УДК 50.05.03 004.42.047
Рубрики: Программирование для ЭВМ логическое
Доп. точки доступа: Kok, J.N.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9338)
Шифр в сводном ЭК: 125ea5c1877c8033708f36dd6d9c9978
Kemenade C.H.M.van Evolutionary air traffic flow management for large 3D-problems / C. H.M.van Kemenade, J. M.van den Akker, J. N. Kok, 1996. - 9 p. - Текст : непосредственный. transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный. From failure to success: comparing a denotational and a declarative semantics for Horn clause logic / F.S. de Boer, J. N. Kok, C. Palamidessis, J. J. Rutten, 1990. - 20 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Kemenade C.H.M.van An evolutionary approach to time constrained routing problems / C.H.M.van Kemenade,J.N.Kok, 1995. - 12 p. - Текст : непосредственный. Eiben A.E. Orgy in the computer:multi-parent reproduction in genetic algorithms / A.E.Eiben,C.H.M.van Kemenade,J.N.Kok, 1995. - 10 p. - Текст : непосредственный. Evolutionary computation in air traffic control planning / C.H.M.van Kemenade,C.F.W.Hendriks,H.H.Hesselink,J.N.Kok, 1995. - 10 p. - Текст : непосредственный. Kemenade C.H.M.van Raising GA performance by simultaneous tuning of selective pressure and recombination disruptiveness / C.H.M.van Kemenade,J.N.Kok,A.E.Eiben, 1995. - 9 p. - Текст : непосредственный. Bonsangue M. Semantics, orderings and recursion in the weakest precondition calculus / M.Bonsangue,J.N.Kok, 1992. - 58 p. - Текст : непосредственный. Transmission function models of infinite population genetic algorithms / C.H.M.van Kemenade,J.N.Kok,J.A.La Poutre,D.Thierens, 1998. - 22 p. - Текст : непосредственный. Transmission function models of finite population genetic algorithms / C.H.M.van Kemenade,J.N.Kok,J.A.La Poutre,D.Thierens, 1998. - 30 p. - Текст : непосредственный. Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: proceedings / ed. M. M. Bonsangue, 2007 r=on-line. - Текст : электронный. Machine learning: ECML 2007 : 18th European conference on machine learning, Warsaw, Poland, September 17-21, 2007: proceedings / ed. J. N. Kok [et al.], 2007 r=on-line Knowledge discovery in databases: PKDD 2007 : 11th European conference on principles and practice of knowledge discovery in databases, Warsaw, Poland, September 17-21, 2007: proceedings / ed. J. N. Kok, 2007 r=on-line Bonsangue M.M. Comparing coordination models and architectures using embeddings / M.M.Bonsangue,J.N.Kok,G.Zavattaro, 2000. - 33 p. - Текст : непосредственный. Boer F.S. de compositional model for confluent dynamic data-flow networks / F.S. de Boer,M.M.Bonsangue, 2000. - 15 p. - Текст : непосредственный. Arbab F. logical interface description language for components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 2000. - 17 p. - Текст : непосредственный. failure of failures in a paradigm for asynchronous communication / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.M.Rutten, 1991. - 19 p. - Текст : непосредственный. Показать все результаты Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный. Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный. Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный. Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный. Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный. Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный. Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный. Показать все результаты Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный. Herczeg J. Methoden und Werkzeuge zur visuellen objektorientierten Programmierung / J. Herczeg, 1995. - 218 S. - Текст : непосредственный. Калверт Ч. Программирование в Windows. Освой самостоятельно за 21 день : монография / Ч. Калверт, 1995. - 495 c. - Текст : непосредственный. Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный. Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный. Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный. Eckgold F. Systemprogramierung OS/2 2.x : монография / F. Eckgold, 1993. - XV,959 p. p. - Текст : непосредственный. 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. - Текст : непосредственный. Middeldorp A. Counterexamples to completeness results for basic narrowing / A. Middeldorp, E. Hamoen, 1991. - 44 p. - Текст : непосредственный. On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 p. - Текст : непосредственный. Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный. Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный. infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 12 p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 48 p. - Текст : непосредственный. Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный. Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
