A resolution-based E-connected calculus
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.
| Main Author: | Amaral, Lucas de Moura |
|---|---|
| Other Authors: | Nalon, Cláudia |
| Format: | Dissertação |
| Language: | Português |
| Published: |
2019
|
| Subjects: | |
| Online Access: |
http://repositorio.unb.br/handle/10482/35640 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|