TY  - GEN
DO  - 10.1007/978-3-319-94460-9
DO  - doi
T1  - Logic-based program synthesis and transformation :27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers /
AU  - Fioravanti, Fabio,
AU  - Gallagher, John P.
VL  - 10855
CN  - QA76.63
N1  - Includes author index.
ID  - 844235
KW  - Logic programming
KW  - Computer logic
KW  - Computer software
SN  - 9783319944609
SN  - 3319944606
TI  - Logic-based program synthesis and transformation :27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-94460-9
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-94460-9
ER  -