Tag Clouds

Tag Clouds

0 documents  /  tag : formal models  /  2P-Kt

1 document  /  tag : formal models  /  tuProlog
page_white_acrobatLabelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini