Résultats de la recherche - "Deduction and theorem proving."
-
1
-
2
-
3
Probabilistic temporal databases, I algebra.
Publié dans ACM transactions on database systems.Article -
4
-
5