4 found
Order:
See also
Gabriel Garduño-Soto
National Autonomous University of Mexico
  1.  24
    Sistema Experto en Deducción Natural.Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón - manuscript
    Proceeding on the Automatic Deduction System developped at the Philosophy Faculty of the UNAM at Mexico City. (Deduktor Mexican Group of Logics work under the direction of the professor Hugo Padilla Chacón). Conference presented at the mexican City of Guadalajara at the Universidad de Guadalajara, Jalisco, by invitation of the latinoamerican association of philosophy SOPHIA. Early stage of the deductional systems at 2-valued logic. This work embodies the implementation of the first whole and standalone arithmetization of bivalent Logic, the theoretical (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  23
    Sistema Experto en Deducción dentro de la Lógica Normal Trivalente.Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón - 1990 - In VIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, octubre 3–5, 1990. Mexico City: National Autonomous University of Mexico.
    Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  22
    Generador de Genes (Gengen).Gabriel Garduño-Soto & Hugo Padilla Chacón - 1992 - In Garduño-Soto, G. and Padilla-Chacón, H. “Generador de Genes (Gengen).” VIIIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, 1992. Mexico City, Mexico: National Autonomous University of Mexico. pp. 262-265.
    Algorithmical procedure within a logical system to generate DNA chains through a formal rule up to the generation of a STOP codon's signal. Work developped under the direction of the Mexican Professor Hugo Padilla Chacón.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  20
    Sistema Experto para Resolver Problemas Lógicos de Deducción.Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón - 1989 - 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.
    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.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark