Detalhes do Documento

A logical reconstruction of temporal databases

Autor(es): Finger, Marcelo

Data: 2000

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

Towards structurally-free theorem proving

Finger, Marcelo

mais

Data: 1998

Towards polynomial approximations of full propositional logic

Finger, Marcelo

mais

Data: 2004