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

R/9132/656
Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy. - Berlin[etc.] : Springer, 1993. - 501 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n656). - ISBN 3-540-56393-8 : 30000 р. - Текст : непосредственный.
Библиогр.в конце статей

ГРНТИ	УДК
50.05.13	004.415.5(062)

Рубрики:
Программы для ЭВМ -- Верификация -- Съезды и конференции

Доп. точки доступа:
Rusinowitch, M.\ed.by\
Remy, J.L.\ed.by\

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

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