Open menu
JELIA 2010 (2010 Helsinki, Finland)
Logics in artificial intelligence