Полное описание
> Extensions of logic programming : 4th intern.workshop,ELP'93 St Andrews,March 29-Apr 1,1993.Proc. / WELP'93. - Berlin [etc.] : Springer, 1994. - VIII,360 p. p. : ill. - (Lecture notes in artificial intelligence ; 798). - ISBN 3-540-58025-5. - Текст : непосредственный. Библиогр.в конце статей
ГРНТИ УДК 50.05.03 004.42.047(063)
Рубрики: Программирование для ЭВМ логическое -- Съезды и конференции
Доп. точки доступа: Dyckhoff, R.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16482/798)>
Шифр в сводном ЭК: b9438634a12f94cb05da0c609e676001
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Automated reasoning with analytic tableaux and related methods : Intern. conf., TABLEAUX 2000, St Andrews, Scotland, UK, July 2000Proc. / TABLEAUX 2000, 2000. - X,440 p. p. - Текст : непосредственный. Extensions of logic programming : 4th intern.workshop,ELP'93 St Andrews,March 29-Apr 1,1993.Proc. / WELP'93, 1994. - VIII,360 p. 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. - Текст : непосредственный. Показать все результаты Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 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. - Текст : непосредственный. Recent advances in constraints / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Functional and logic programming / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Logic programming : 25th international conference, ICLP 2009, Pasadena, Ca, USA, July 14-17, 2009: proceedings / ed. P. Hill, 2009 r=on-line. - Текст : электронный. Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18-20, 2008: revised selected papers / ed. A. Oddi, 2009 r=on-line. - Текст : электронный. Programming language implementation and logic programming : 6th intern.symp.,PLILP'94,Madrid,Sept.14-16 1994:Proc. / PLILP'94, 1994. - XII,468 p. p. - Текст : непосредственный. Algebraic and logic programming : 4th intern.conf.,ALP'94,Madrid,Sept.14-16 1994:Proc. / ALP'94, 1994. - VIII,304 p. p. - Текст : непосредственный. Inductive logic programming : 19th International conference, ILP 2009, Leuven, Belgium, July 02-04, 2009: revised papers / ed. L. Raedt, 2010 r=on-line. - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽