Naomi Lindenstrauss – författare

Visar alla böcker från författaren Naomi Lindenstrauss. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Conditional and Typed Rewriting Systems

   4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

   Av Nachum Dershowitz, Naomi Lindenstrauss

   Häftad, 1995

   569 kr

   Lägg i varukorg

   This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994.The volume reports the research advances in the area of …