20 Ene Una introducción a la lógica lineal y comentario al software «llprover» de Naoyuki Tamura
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) [ninja_tables id="20624"]...