Detalhes do Documento

Towards structurally-free theorem proving

Autor(es): Finger, Marcelo

Data: 1998

Origem: Oasisbr

Assunto(s): LÓGICA; LÓGICA; LÓGICA


Tipo de Documento Artigo científico
Idioma Inglês
facebook logo  linkedin logo  twitter logo 
mendeley logo

Documentos Relacionados

A logical reconstruction of temporal databases

Finger, Marcelo

mais

Data: 2000

Towards polynomial approximations of full propositional logic

Finger, Marcelo

mais

Data: 2004