Resultados de procura - "Deduction and theorem proving."
-
1
-
2
-
3
Probabilistic temporal databases, I algebra.
Publicado en ACM transactions on database systems.Artigo -
4
-
5