Nuvole dei tag
Nuvole dei tag
0
documenti
/
tag : formal models
/
2P-Kt
1
documento
/
tag : formal models
/
tuProlog
Labelled Variables in Logic Programming: Foundations (articolo in atti, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini