004/C74
   C73


   
    Conditional Term Rewriting Systems [Text] : 3rd International Workshop,Pont-a-Mousson,France,1992.Proceedings / M.Rusinowitch,J.L.Remy(Eds.). - Berlin;Heidelberg etc. : Springer, 1993. - XI,501 p. - (Lecture Notes in Computer Science;656). - ISBN 3-540-56393-8 : Б. ц.
ГРНТИ
УДК
Рубрики: Языки программирования ЭВМ
Кл.слова (ненормированные):
Перезаписывающая система -- Труды -- Конференция

Держатели документа:
Республиканская научно-техническая библиотека Казахстана
Экземпляры всего: 1
ИО (1)
Свободны: ИО (1)