@BOOK{ Book!D - 88357522,
AUTHOR = "\ Moreno Falaschi (Ed.)",
TITLE = "Logic-Based Program Synthesis and Transformation",
LIBRARY= "کتابخانه زبانهای خارجی و منابع اسلامی",
SUBJECT = "Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها ",
URL = "/book/88357522/LogicBased-Program-Synthesis-and-Transformation/"}