Language
- All ( )
- Free, open source ( )
3Result(s)for '"Omodeo Eugenio"'
Resource list
By Omodeo Eugenio Tomescu Alexandru in Journal of Automated Reasoning
ISSN:0168-7433|52|1|1-29
Springer Publishing Company (2014)
Access to resources Favorite 17.073713
By Omodeo Eugenio G. Policriti Alberto Tomescu Alexandru I. in Journal of Logic and Computation
ISSN:1465-363X|22|6|1391-1403
Oxford University Press(2012)
Access to resources Favorite 10.671071
By Cantone Domenico Formisano Andrea Asmundo Marianna Nicolosi Omodeo Eugenio Giovanni in RAIRO - Theoretical Informatics and Applications
ISSN:0988-3754|46|2|261-289
Edp Sciences(2012)
Access to resources Favorite 10.671071