Construções algorítmicas e demonstrações axiomáticas

Autor: Luíza Maria Morais Lima

Defendida na UECE em 18/06/13

Como citar essa dissertação

ABNT

LIMA, Luíza Maria Morais. Construções algorítmicas e demonstrações axiomáticas. Dissertação (Mestrado) — UECE, 2013. Disponível em: https://sca.profmat-sbm.org.br/profmat_tcc.php?id1=782&id2=32989.

BibLaTeX

@mastersthesis{LUIZA_MARIA_MORAIS_LIMA:UECE:2013,
  author = {Luíza Maria Morais Lima},
  title  = {Construções algorítmicas e demonstrações axiomáticas},
  school = {Universidade Estadual do Ceará},
  year   = {2013},
  date   = {18/06/13},
  url    = {https://sca.profmat-sbm.org.br/profmat_tcc.php?id1=782&id2=32989},
}