Logic programming : 22th International Conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings - International Conference on Logic Programming 2006 : Seattle, Washington); Etalle, Sandro; Truczynski, Miroslaw (Berlin : Springer, 2006)
Keywords: logické programování; logic programming