{"id":904,"date":"2010-12-02T07:35:45","date_gmt":"2010-12-02T07:35:45","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=904"},"modified":"2013-03-08T05:50:07","modified_gmt":"2013-03-08T05:50:07","slug":"logica-computacional-en-sevilla-30-anos-en-una-hora","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/logica-computacional-en-sevilla-30-anos-en-una-hora\/","title":{"rendered":"L\u00f3gica Computacional en Sevilla (30 a\u00f1os en una hora)"},"content":{"rendered":"<p>Ayer, en las <a href=\"http:\/\/master.cs.us.es\/wordpress\/index.php\/iii-jornadas-de-logica-computacion-e-inteligencia-artificial\/\"> Jornadas de L\u00f3gica, Computaci\u00f3n e Inteligencia Artificial<\/a>, hice una presentaci\u00f3n sobre el desarrollo de la investigaci\u00f3n de la L\u00f3gica computacional en la Universidad de Sevilla desde sus comienzos (en el Seminario de L\u00f3gica Matem\u00e1tica del curso 1980-81) hasta la actualidad.<\/p>\n<p>El t\u00edtulo de la presentaci\u00f3n fue <a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/2010-Jornadas-MULCIA.pdf\">L\u00f3gica Computacional en Sevilla (30 a\u00f1os en una hora)<\/a>. <\/p>\n<p>Las transparencias usadas en la presentaci\u00f3n son las que se muestran a continuaci\u00f3n<br \/>\n<iframe src=\"\/\/docs.google.com\/viewer?url=http%3A%2F%2Fwww.cs.us.es%2F%7Ejalonso%2Fpublicaciones%2F2010-Jornadas-MULCIA.pdf&hl=es&embedded=true\" class=\"gde-frame\" style=\"width:100%; height:500px; border: none;\" scrolling=\"no\"><\/iframe>\n<p class=\"gde-text\"><a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/2010-Jornadas-MULCIA.pdf\" class=\"gde-link\">Descargar (PDF, 1.6MB)<\/a><\/p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Ayer, en las Jornadas de L\u00f3gica, Computaci\u00f3n e Inteligencia Artificial, hice una presentaci\u00f3n sobre el desarrollo de la investigaci\u00f3n de la L\u00f3gica computacional en la Universidad de Sevilla desde sus comienzos (en el Seminario de L\u00f3gica Matem\u00e1tica del curso 1980-81) hasta la actualidad. El t\u00edtulo de la presentaci\u00f3n fue L\u00f3gica Computacional en Sevilla (30 a\u00f1os&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[6],"tags":[149,156,107,29],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/904"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=904"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/904\/revisions"}],"predecessor-version":[{"id":2972,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/904\/revisions\/2972"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=904"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=904"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=904"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}