Prova de Teoremas: Refutação
Authors:
Autores
| Person role | Person | |
|---|---|---|
|
206 |
106
|
Informations:
Pesc publication
Title
Prova de Teoremas: Refutação
Research area
Algorithms and Combinatorics
Publication type
Technical Report
Identification Number
ES-098/86
Date
5/1986
Resumo
Abstract
File