Satisfatibilidade não-clausal restrita às variáveis de entrada
Orientador: Prof. Dr. Fabiano Silva
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2011 |
| País: | Brasil |
| Recursos: | Universidade Federal do Paraná (UFPR) |
| Repositorio: | Repositório Institucional da UFPR |
| Idioma: | portugués |
| OAI Identifier: | oai:acervodigital.ufpr.br:1884/32514 |
| Acesso em linha: | https://hdl.handle.net/1884/32514 |
| Access Level: | acceso abierto |
| Palavra-chave: | Lógica de computador Lógica simbólica e matemática Algorítmos Ciência da computação |
| Resumo: | Orientador: Prof. Dr. Fabiano Silva |
|---|