Tesi di dottorato
A Computational Logic-based System for Specification and Verification of Agent Interaction
Author: Marco Alberti
Supervisor: Prof. Evelina Lamma
alberti-phd-final.pdf
—
PDF document,
708 kB (725053 bytes)
