Técnicas Nominais e aplicações em Lógica de primeira ordem
Spremljeno u:
| Glavni autor: | |
|---|---|
| Datum izdanja: | 2021 |
| Format: | Master thesis |
| Jezik: | por |
| Izvor: | Repositório Institucional da UnB |
| Download full: | https://repositorio.unb.br/handle/10482/43302 |
Sažetak: | Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2021. |