TY - BOOK AU - Etalle,Sandro AU - Truszczynski,Miroslav ED - International Conference on Logic Programming ED - SpringerLink (Online service) TI - Logic Programming (vol. # 4079): 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings SN - 9783540366362 (electronic bk.) AV - QA76.63 .I55 2006 U1 - 006.3 22 PY - 2006/// CY - Berlin Heidelberg PB - Springer-Verlag GmbH. KW - Logic programming KW - Congresses UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11799573 ER -