Towards Theorem Proving in Logics for Generally with Special Functions

Autores

1326
Paulo Augusto Veloso
179,105
1327
Sheila Regina Murgel Veloso
179,105

Informações:

Publicações do PESC

Título
Towards Theorem Proving in Logics for Generally with Special Functions
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-584/2
Data
7/2002
Resumo
Abstract
Arquivo
Topo