Prova de Teoremas: Refutação
Autores
|
206 |
106
|
Informações:
Publicações do PESC
Título
Prova de Teoremas: Refutação
Linha de pesquisa
Algoritmos e Combinatória
Tipo de publicação
Relatório Técnico
Número de registro
ES-098/86
Data
5/1986
Resumo
Abstract
Arquivo