Nominal commutative narrowing

Gardado en:
Detalles Bibliográficos
Autor Principal: Souza, Daniella Santaguida Magalhães de
Data de Publicación: 2022
Formato: Master thesis
Idioma: por
Fonte: Repositório Institucional da UnB
Download full: https://repositorio.unb.br/handle/10482/44597
Summary: Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2022.