//]]>
A 25-Year Perspective on Logic Programming : , achievements of the Italian Association for Logic Programming, Gulp /   Publication: Boston, MA : McGraw-Hill, 2010 . xiv, 328 p. : Date:2010 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Web reasoning and rule systems : , fourth international conference, RR 2010, bressanone/brixen, Italy, September 22-24, 2010. proceedings /   Publication: Berlin : Springer, 2010 . xiii, 257 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic based program synthesis and transformation : , 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /   Publication: Berlin ; | New York : Springer, 2005 . viii, 277 p. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart