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

In 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)
Download Edit this record How to cite View on PhilPapers
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.
(categorize this paper)
PhilPapers/Archive ID
Revision history
First archival date: 2018-06-07
Latest version: 2 (2018-06-07)
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
38 ( #44,871 of 50,123 )

Recent downloads (6 months)
7 ( #45,625 of 50,123 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.