TY  - BOOK
A1  - \ [edited by] Maurizio Proietti, Hirohisa Seki.
TI  - Logic-Based Program Synthesis and Transformation 
PB  - کتابخانه زبانهای خارجی و منابع اسلامی
SN  - 88357369
UR  /book/88357369/LogicBased-Program-Synthesis-and-Transformation/
ER  -