TY - BOOK ID - 77084942 TI - Logic program synthesis and transformation : proceedings of LOPSTR 92. AU - Clement, Tim AU - Lau, Kung-Kiu PY - 1993 SN - 3540198067 9783540198062 PB - Berlin Springer DB - UniCat KW - Logic programming KW - 681.3*I22 KW - 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - Congresses KW - Programming KW - Logic programming - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:77084942 AB - ER -