Nominal commutative narrowing

Guardat en:
Dades bibliogràfiques
Autor principal: Souza, Daniella Santaguida Magalhães de
Data de publicació: 2022
Format: Master thesis
Idioma: por
Font: Repositório Institucional da UnB
Download full: https://repositorio.unb.br/handle/10482/44597
Sumari: Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2022.