| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 1.46 MB | Adobe PDF |
Orientador(es)
Resumo(s)
Convidar a Isabelle para. verificar as nossas contas pode ser uma maneira simpática de começar um longo dia de trabalho. Vamos descobrir, no entanto, um revisor implacável, capaz de encontrar a mais pequena falha de raciocínio. E que não vai aceitar um convite para jantar no fim da jornada.
Descrição
Palavras-chave
Teorema da Curva de Jordan Euclides