Summa Logicae - Universidad de Salamanca

Una introducción a la lógica lineal y comentario al software "llprover" de Naoyuki Tamura - Summa Logicae
275
wp-singular,post-template-default,single,single-post,postid-275,single-format-standard,wp-theme-bridge,wp-child-theme-bridge-child,cookies-not-set,bridge-core-1.0.4,ajax_fade,page_not_loaded,,qode-title-hidden,qode-child-theme-ver-1.0.0,qode-theme-ver-18.0.8,qode-theme-bridge,disabled_footer_top,qode_advanced_footer_responsive_1000,wpb-js-composer js-comp-ver-7.6,vc_responsive

20 Ene 2025 Una introducción a la lógica lineal y comentario al software «llprover» de Naoyuki Tamura

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Heterogénea y Parcial by

Depositado por: Maria Manzano, e-mail: mara@usal.es

Depositado el: 08-02-2007

Autor: Aníbal Chehayeb

Fecha de creación: 01-02-2007

Página Web: http://bach.istc.kobe-u.ac.jp/llprover/

Idioma: Español/Spanish

Formato: .pdf (Adobe)

TipoTítuloArchivoOpciones
PresentaciónUna introducción a la lógica lineal y comentario al software "llprover" de Naoyuki TamuraUna_introduccio?n_a_la_Lo?gica_Lineal.pptDescargar
DocumentoUna introducción a la lógica lineal y comentario al software "llprover" de Naoyuki TamuraLo?gica_Lineal.pdfDescargar
Tags:
,
No Comments

Sorry, the comment form is closed at this time.