A resolution-based E-connected calculus
Saved in:
| Hovedforfatter: | |
|---|---|
| Publication Date: | 2019 |
| Format: | Master thesis |
| Sprog: | por |
| Source: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/35640 |
Summary: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019. |