Pr869 Pr869/343 Pr869/343 / Pr869/343-02 Algebraic and logic programming [Text] : intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc. / Ed. by J. Grabowski et al. - Berlin [et al.] : Springer, 1988. - 278 p. : Ill. - (Lecture notes in computer science ; 343). - Bibliogr. at the end of the art Перевод заглавия: Алгебраическое и логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): логика программ -- алгебраические спецификации Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/417 Pr869/417 / Pr869/417-02 COLOG-88 : intern. conf. on computer logic, Tallinn, USSR, Dec. 12-16, 1988. Proc. / Ed. by P. Martin-Lof, G. Mints. - Berlin [et al.] : Springer, 1990. - VI,338 p. - (Lecture notes in computer science ; 417). - Bibliogr. at the end of the art Перевод заглавия: Труды международной конференции по компьютерной логике Рубрики: Логическое программирование Кл.слова (ненормированные): логика программ Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/425 Pr869/425 / Pr869/425-02 Algebraic logic and universal algebra in computer science [Text] : conf., Ames, Lowa, USA, Jun. 1-4, 1988., Proc / Ed. by C. H. Bergman et al. - Berlin [et al.] : Springer, 1990. - XI,292 p. : Ill. - (Lecture notes in computer science ; 425). - Bibliogr. at the end of the art Перевод заглавия: Алгебраическая логика и универсальная алгебра в вычислительной технике Рубрики: Логическое программирование Кл.слова (ненормированные): логика программ -- логическое программирование -- семантика Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/626 Pr869/626 / Pr869/626-02 Computer science logic : 5th workshop, CSL'91 Berne, Switzerland, Oct. 7-11, 1991. Proceedings / Ed. by E. Borger et al. - Berlin [et al.] : Springer, 1992. - VII, 428 p. : Ill. - (Lecture notes in computer science ; 626). - Bibliogr. at the end of the art Перевод заглавия: Логика вычислительных машин и систем Рубрики: Логическое программирование Теория автоматов Кл.слова (ненормированные): семантика -- автоматы -- сети Петри Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/632 Pr869/632 / Pr869/632-02 Algebraic and logic programming [Text] : third Intern. conf., Volterra, Italy, Sept. 2-4, 1992. Proc / Ed. by H. Kirchner, G. Levi. - Berlin [et al.] : Springer, 1992. - IX, 457 p. : Ill. - (Lecture notes in computer science ; 632) Bibliogr. at the end the of art Перевод заглавия: Алгебраическое и логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): функциональное и логическое программирование Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/714 Pr869/714 / Pr869/714-02 Programming language implementation and logic programming [Text] : 5th intern. symp., PLILP'93 Tallinn, Estonia, Aug. 25-27, 1993. Proceedings / M. Bruynooghe, J. Penjam (Eds.). - Berlin [et al.] : Springer, 1993. - XI, 421 p. : Ill. - (Lecture notes in computer science ; 714). - Bibliogr. at the end of the art Перевод заглавия: Реализация языка программирования и логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): объектно-ориентированное программирование -- языки Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/383 Pr1019/383 / Pr1019/383-02 Logic programming '88 : proc. of the 7th conf. Tokyo, Japan, Apr. 11-14, 1988 / Ed. by K. Furukawa a. o. - Berlin [et al.] : Springer, 1989. - 6,251 p. : Ill. - (Lecture notes in artificial intelligence ; 383). - Bibliogr. at the end of the art Перевод заглавия: Логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): логическое программирование -- языки программирования Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/596 Pr1019/596 / Pr1019/596-02 Extensions logic programming : Second intern. workshop, ELP'91, Stockholm, Sweden, Jan. 27-29, 1991. Proc / Ed.: L.-H. Eriksson et al. - Berlin [et al.] : Springer, 1992. - 369 p. - (Lecture notes in artificial intelligence ; 596). - Bibliogr. at the end of the art Перевод заглавия: Экстенсия логического программирования Рубрики: Логическое программирование Кл.слова (ненормированные): языки программирования -- функциональное программирование Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/619 Pr1019/619 / Pr1019/619-02 Nonclassical logics and information processing : Intern. workshop, Berlin, Germany, Nov. 9-10, 1990. proceedings / ed.: David Pearce, Heinrich Wansing. - Berlin [et al.] : Springer, 1992. - 171 p. - (Lecture notes in artificial intelligence ; 619). - Bibliogr. at the end of the art Перевод заглавия: Неклассическая логика и обработка информации Рубрики: Логическое программирование Кл.слова (ненормированные): модальные системы -- немонотонная логика -- теория проверок Дескрипторы: сб пр -- конф Доп.точки доступа: Pearce, David \ed.\; All-Berlin workshop on nonclassical logics and information processing (1 ; 1990) Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/592 Pr1019/592 / Pr1019/592-02 Logic programming [Text] : first Russian conf. on logic programming, Irkutsk, Russia, Sept. 14-18, 1990; Second Russian conf. on logic programming, St. Petersburg, Russia, Sept. 11-16, 1991. Proc. / Ed. by A. Voronkov. - Berlin [et al.] : Springer, 1992. - IX,514 p. : Ill. - (Lecture notes in artificial intelligence ; 592). - Bibliogr. at the end of the art Перевод заглавия: Логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): базы знаний -- семантика -- Пролог -- временная логика Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 S98 И-З 97 / S98-02 Symposium on logic in computer science (6; 1991; Amsterdam). Sixth annual IEEE symposium on logic in computer science : Proceedings, July 15-18, 1991, Amsterdam. - Los Alamitos [et al.] : IEEE computer society press, 1991. - XVII, 417 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 417 Перевод заглавия: Труды 6-го ежегодного симпозиума по логике в вычислительной технике Рубрики: Логическое программирование Кл.слова (ненормированные): абстрактные типы данных -- совпадение -- представление знаний Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 S98 И-З 97 / S98-02 Symposium on logic in computer science (7; 1992; Santa Cruz, California.). Proceedings of the seventh annual IEEE symposium on logic in computer science, Santa Cruz, California., June 22-25, 1992. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - XIII, 471 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 471 Перевод заглавия: Труды 7-го ежегодного симпозиума ИИЭР по логике в вычислительной технике Рубрики: Логическое программирование Кл.слова (ненормированные): процесс алгебры -- структуры данных -- верификация Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Пр31 Пр31/146 Пр31/146 / Пр31/146-02 Логика и семантическое программирование / Рос. акад. наук, Сиб. отд-ние, Ин-т математики ; науч. ред.: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : [б. и.], 1992. - 205 с., включ. обл. : ил. - (Вычислительные системы : сб. науч. тр., ISSN 0568-661X ; 146). - Библиогр. в конце ст. - Рубрики: Логическое программирование Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю. Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Пр31 Пр31/148 Пр31/148 / Пр31/148-02 Логические методы в информатике : сборник / Рос. акад. наук. Сиб. отд-ние. Ин-т математики; Науч. ред.: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : [б. и.], 1993. - 177 с., включ. обл. : схем. - (Вычислительные системы : сб. науч. тр., ISSN 0568-661X ; 148). - Библиогр. в конце ст. - Рубрики: Логическое программирование Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |