strict warning: Declaration of views_plugin_style_default::options() should be compatible with views_object::options() in /home/local/www/molto-project.eu/sites/all/modules/views/plugins/views_plugin_style_default.inc on line 0.

     

News from MOLTO

These news are posted by the MOLTO Consortium. Relevant conferences, events or new technology are likely to be covered subjects. Some news are also informally published in the MOLTO Twitter Feed.

To stay informed about our news, you may subscribe to our RSS Feed.

Translating between Language and Logic: What Is Easy and What is Difficult?

Ranta A. Translating between Language and Logic: What Is Easy and What is Difficult?. In: Bjørner N, Sofronie-Stokkermans V, eds. CADE-23. Automated Deduction.Vol LNCS/LNAI 6803. CADE-23. Automated Deduction. http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3; 2011:5-25. Available at: http://www.cse.chalmers.se/~aarne/articles/cade2011.pdf.

Open Access archiving impact on Google Scholar

Submitted by olga.caprotti on 15 May, 2013 - 15:41

Today I was notified on my Google Scholar account that some new publications have appeared. I attach the printout because it is interesting to see how some of your institutional servers are indexed and provide the data that this service filters, based on my publication list and stated interest. Thank you for uploading your publications, you all.

Syndicate content