Verificação automática de lógicas finitas multivalentes
In recent years, there is a growing interest in many-valued logics in many areas such as computer sciences automated theorem proving, approximate reasoning, multi-agent systems, program verication electrical engineering and digital circuits, linguistics, mathematics and algebra, philosophy, etc. I...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Uberlândia
2016
|
| Subjects: | |
| Online Access: | https://repositorio.ufu.br/handle/123456789/14268 |