TY  - BOOK
A1  - Nachum Dershowitz, Naomi Lindenstrauss )eds.(
TI  - Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101372456
UR  /book/101372456/Conditional-and-typed-rewriting-systems-4th-Inte/
ER  -