Полное описание
> Logic-based program synthesis and transformation : 9th intern.workshop on logic-based program synthesis and transformation, Venice, Sept.22-24, 1999: Proc. / LOPSTR'99. - Berlin [etc.] : Springer, 2000. - VIII,312 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; vol.1917). - ISBN 3-540-67628-7. - Текст : непосредственный.
Библиогр.в конце ст. Указ.в конце кн.
ГРНТИ | УДК | |
50.05.13 | 004.42(063) | |
27.03.19 | 510(062) |
Рубрики:
Программирование для ЭВМ -- Съезды и конференции
Математическая логика -- Съезды и конференции
Доп. точки доступа:
Bossi, A.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/1917)>
Шифр в сводном ЭК: 4d4e7862b36507e0e7cebbec2b040165
Заказ фрагмента документа ₽