APICe » Theses » Labelled tuProlog: Architettura ed Implementazione

Labelled tuProlog: Architettura ed Implementazione  

Tiziano Distefano


Definizione dell'architettura della Labelled Logic Programming in tuProlog.


Enrico Denti (Supervisor)