TY  - BOOK
A1  - Manuel Hermenegildo, S. Doaitse Swierstra )eds.(
TI  - Programming languages : implementations, logics and programs : 7th International Symposium, PLILP'95 Utrecht, The Netherlands, September 20 - 22, 1995 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101372464
UR  /book/101372464/Programming-languages-implementations-logics-an/
ER  -