Two-dimensional executable temporal logic for bitemporal databases
Marcelo Finger Mark Reynolds
Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000
Dordrecht Springer 2000
Localização:
IME - Inst. Matemática e Estatística
(PROD-1024198 ) e outros locais(Acessar)
Anterior
Página Inicial
RSS
Feed
Políticas
Fale Conosco
Logos de Redes Sociais: 