Полное описание

R/9132/363
Logic at botik'89 : symp.on logical foundations of computer science Pereslavl-Zalessky, July 3-8, 1989Proc. / сост.ed. A. R. Meyer, сост.ed. М. А. Тайцлин. - Berlin[etc.] : Springer, 1989. - X,289 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n363). - ISBN 3-540-51237-3 : 13.70 р. - Текст : непосредственный.
Библиогр.в конце ст.

ГРНТИ	УДК
50.07	510.285(062)

Рубрики:
Математическая логика -- Применение в вычислительной технике -- Съезды и конференции

Кл.слова (ненормированные): логическое программирование
Доп. точки доступа:
Meyer, A.R.\ed.\
Тайцлин, М.А.\ed.\

Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:

Заказать издание
Заказ фрагмента документа ₽