Indução finita, deduções e máquina de Turing

Autor: João Paulo da Cruz Almeida

Defendida na UNESP em 29/06/17

Como citar essa dissertação

ABNT

ALMEIDA, João Paulo da Cruz. Indução finita, deduções e máquina de Turing. Dissertação (Mestrado) — UNESP, 2017. Disponível em: https://sca.profmat-sbm.org.br/profmat_tcc.php?id1=3536&id2=150580481.

BibLaTeX

@mastersthesis{JOAO_PAULO_DA_CRUZ_ALMEIDA:UNESP:2017,
  author = {João Paulo da Cruz Almeida},
  title  = {Indução finita, deduções e máquina de Turing},
  school = {Universidade Estadual Paulista},
  year   = {2017},
  date   = {29/06/17},
  url    = {https://sca.profmat-sbm.org.br/profmat_tcc.php?id1=3536&id2=150580481},
}