Skip to content
VuFind
    • English
    • Español
Advanced
  • Actualización de modelos para...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Actualización de modelos para lógica de árboles de cómputo mediante protecciones

Actualización de modelos para lógica de árboles de cómputo mediante protecciones

Bibliographic Details
Main Author: Carrillo Barajas, Miguel
Other Authors: Rosenblueth Laguette, David Arturo (Asesor)
Format: Tesis de doctorado
Published: MX 2014
Subjects:
Ciencias Físico - Matemáticas y de las Ingenierías
Online Access:https://hdl.handle.net/20.500.14330/TES01000718035
http://132.248.9.195/ptd2014/agosto/0718035/Index.html
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

https://hdl.handle.net/20.500.14330/TES01000718035
http://132.248.9.195/ptd2014/agosto/0718035/Index.html

Similar Items

  • Sistema de árboles de hipersecuentes para la lógica modal graduada
    by: López Villafán, Luis Ricardo
    Published: (2024)
  • Logica temporal y computacion
    by: Carrillo Barajas, Miguel
    Published: (1993)
  • Una relación entre las lógicas modales y el enfoque topológico del cómputo distribuido
    by: Velázquez Cervantes, Diego Alejandro
    Published: (2019)
  • Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados
    by: Ramirez del Castillo, Carlos
    Published: (1994)
  • Compresion de datos mediante arboles sufijo
    by: García Herrera, Ricardo
    Published: (2002)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips