TY - BOOK ID - 127007616 TI - Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers AU - King, Andrew Malcolm AU - International symposium on logic-based program synthesis and transformation (17th : 2007 : Kongens Lyngby, Denmark) PY - 2008 SN - 9783540787686 3540787682 PB - Berlin: Springer, DB - UniCat KW - Logic programming UR - https://www.unicat.be/uniCat?func=search&query=sysid:127007616 AB - ER -