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) |