Normal view
MARC view
Calimeri, Francesco (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): LPNMR (Conference) (13th : 2015 : Lexington, Kentucky) 55270, Logic programming and nonmonotonic reasoning :