Приложение
для AndroidПолное описание
Bibel, W. Deduktion : Automatisierung der Logik / W.Bibel;Unter Mitarbeit von S.Holldobler. - Munchen ; Wien : Oldenbourg, 1992. - 269 S. : Ill. - (Handbuch der Informatik / Hrsg.:A.Endres et al. ; Bd.6.2). - ISBN 3-486-20785-7 : 30000 р. - Текст : непосредственный.
Библиогр.:с.239-254.Указ.:с.255-269
| ГРНТИ | УДК | |
| 50.05.03 | 004.42.047 |
Рубрики:
Программирование для ЭВМ логическое
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Chroust G. Mikroprogrammierung und Rechnerentwurf / G.Chroust, 1989. - 359 S. - Текст : непосредственный.Sapper G.R. Maschinenorientierte Sprachen / G.R.Sapper, 1989. - 127 S. - Текст : непосредственный.Schnupp P. Standard-Betriebssysteme / P.Schnupp, 1990. - 214 S. - Текст : непосредственный.Schulz A. Software-Entwurf : Methoden und Werkzeuge / A.Schulz, 1992. - 232 S. - Текст : непосредственный.Hesse W. Software-Entwicklung : Vorgehensmodelle,Projektfuhrung,Produktverwaltung / W.Hesse,G.Merbeth,R.Frolich, 1992. - 292 S. - Текст : непосредственный.Partsch H. Reguirements engineering / H.Partsch, 1991. - 335 S. - Текст : непосредственный.Bibel W. Deduktion : Automatisierung der Logik / W.Bibel;Unter Mitarbeit von S.Holldobler, 1992. - 269 S. - Текст : непосредственный.Eckardt K.-J. Standard-Architekturen fur Rechnerkommunikation / K.-J.Eckardt,R.Nowak, 1988. - 249 S. - Текст : непосредственный.Normen der graphischen Datenverarbeitung / hrsg. G. Enderle, hrsg. A. Scheller, 1989. - 183 S. - Текст : непосредственный.Soltysiak R. Wissensbasierte Prozessregelung / R.Soltysiak, 1989. - 173 S. - Текст : непосредственный.Schulz A. Software-Entwurf : Methoden und Werkzeuge / A.Schulz, 1990. - 232 S. - Текст : непосредственный.Thuy N.H.C. Wissensverarbeitung und Expertensysteme / N.H.C.Thuy,P.Schnupp, 1989. - 304 S. - Текст : непосредственный.Gorke W. Fehlertolerante Rechensysteme / W.Gorke, 1989. - 207 S. - Текст : непосредственный.Siegert H.-J. Betriebssysteme : Eine Einf@:uhrung / H.-J.Siegert, 1989. - 240 S. - Текст : непосредственный.Ollmert H.J. Datenstrukturen und Datenorganisationen / H.J.Ollmert, 1989. - 304 S. - Текст : непосредственный.Kastens U. Ubersetzerbau / U.Kastens, 1990. - 249 S. - Текст : непосредственный.
Руководство по программированию контроллера 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. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽