TY  - GEN
DO  - 10.1007/978-3-030-13838-7
DO  - doi
T1  - Logic-based program synthesis and transformation :28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers /
AU  - Mesnard, Fred,
AU  - Stuckey, Peter J.,
VL  - 11408
CN  - QA76.63
N1  - Includes author index.
ID  - 866326
KW  - Logic programming
KW  - Computer logic
KW  - Computer software
SN  - 9783030138387
SN  - 3030138380
TI  - Logic-based program synthesis and transformation :28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-13838-7
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-13838-7
ER  -