Pages that link to "Item:Q446534"

The following pages link to Datalog in academia and industry. Second international workshop, Datalog 2.0, Vienna, Austria, September 11--13, 2012. Proceedings (Q446534):

Displaying 1 item.

• Certifying standard and stratified Datalog inference engines in SSReflect (Q1687733) (← links)