Listar por título

Ordenar por:Orden:Resultados:

  • Zorro 
    Michelini Jorge, Juan Pedro (Universidad ORT Uruguay, 2013)
    El objetivo del presente trabajo es formalizar un método de construcción de demostraciones formales con base en la matemática calculacional de Dijkstra y restringido a la lógica proposicional. El método se formalizará e ...
  • Autor desconocido