SmtC: Show me the Code
Ole Peter Smith
Instituto de Matemática e Estatística
Universidade Federal de Goiás
http://www.olesmith.com.br

2020
Problemas resolvemos na hora!
Milagres demoram mais um pouco...
Provérbio dinamarquês
< Geometria Axiomática com LaTeX e TikZ | $\LaTeX$: Office and Turing Complete? | Offices >

$\LaTeX$: Office & Turing Complete

  1. Alan Turing, 1912-1954

    O Pai da Computação
  2. Donald Ervin Knuth, 1938-: O Pai do $\TeX$.

    Premio Turing, 1974
  3. Leslie B. Lamport, 1941-: O Pai do $\LaTeX$.

    Premio Turing, 2013
  4. Type Setting System: Page
< Geometria Axiomática com LaTeX e TikZ | $\LaTeX$: Office and Turing Complete? | Offices >
Messages:
0 secs.