Sistema Experto para Resolver Problemas Lógicos de Deducción

In Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón (eds.), Va. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, noviembre 14–16, 1989. Mexico City, México: National Autonomous University of Mexico (1989)
  Copy   BIBTEX

Abstract

Proceeding of the first public presentation of the work of the mexican logical group "Deduktor" under the direction of the mexican professor Hugo Padilla Chacón. This work was in fact the first whole and stand alone arithmetization of logics.

Author Profiles

Gabriel Garduño-Soto
National Autonomous University of Mexico

Analytics

Added to PP
2018-06-07

Downloads
453 (#42,165)

6 months
156 (#25,932)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?