Marco Manna
www.mat.unical.it
0000-0003-3323-9328
1 paper found
Refreshing results…
Enhancing DLV for Large-Scale Reasoning
Missing publications? Search for publications with a matching author name.