عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202215016
eng
Based Program Synthesis and Transformation :-Logic
:10, 2019, Revised selected papers /-29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8
Springer,
, 2020.
e
Logic programming ; Congresses. ;
Gabbrielli, Maurizio. ;
old catalog
