L. Chitaro
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1993
Reasoning about discrete processes in a logic programming framework.
Proceedings of the 8th Italian Conference on Logic Programming, 1993