|
|
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),
|
|
|
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),
|
|
|
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),
|
|