Material |
Visualizações |
2
Total de visualiza��es
|
---|---|---|
Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes
|
2 |
Material |
---|
Arquivos |
Downloads |
---|
Pa�ses |
Visualizações |
---|---|
Brasil |
2 |
Cidades |
Visualizações |
---|---|
Campo Grande |
1 |
Diamantina |
1 |