TY  - BOOK
A1  - Didier Bert, Christine Choppy, Peter Mosses )eds.(
TI  - Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101382759
UR  /book/101382759/Recent-trends-in-algebraic-development-techniques/
ER  -