Nominal commutative narrowing
Autor(a) principal: | |
---|---|
Data de Publicação: | 2022 |
Tipo de documento: | Dissertação |
Idioma: | por |
Texto Completo: | https://repositorio.unb.br/handle/10482/44597 |
id |
UNB_f11149d8075b2fd3b995564650ccf1eb |
---|---|
oai_identifier_str |
oai:repositorio2.unb.br:10482/44597 |
network_name_str |
Repositório Institucional da UnB |
title |
Nominal commutative narrowing |
author |
Souza, Daniella Santaguida Magalhães de |
topic |
Modelagem Raciocínio equacional Técnicas de reescrita Lógica nominal |
publishDate |
2022 |
format |
masterThesis |
url |
https://repositorio.unb.br/handle/10482/44597 |
language |
por |
instname_str |
Universidade de Brasília (UnB) |
instacron_str |
UNB |