Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011)Pescara, Italy, August 31 - September 2, 2011.
Edited Book
Publication Date:
2011
Iris type:
7.1 Curatela
List of contributors:
Fioravanti, Fabio
Published in: