@BOOK{ Book!D - 101384764,
AUTHOR = "Gilles Barthe...]et al.[ )eds.(",
TITLE = "Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Programming languages )Electronic computers( -- Semantics",
URL = "/book/101384764/Applied-semantics-International-Summer-School-A/"}