@BOOK{ Book!D - 101388659,
AUTHOR = "A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(",
TITLE = "MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning",
URL = "/book/101388659/MERLIN-05-proceedings-of-the-Third-ACM-SIGPLAN/"}