Search alternatives:
"based computational scheme computational program" » "based computational science computational program" (Expand search), "based computational systems computational program" (Expand search), "based computational system computational program" (Expand search), "based computational some computational program" (Expand search), "based computational scale computational program" (Expand search), "and computational scheme computational program" (Expand search), "by computational scheme computational program" (Expand search)
"_ computation in computing program" » "_ computation in consulting program" (Expand search), "_ computation in computer program" (Expand search), "_ computation in computador program" (Expand search), "_ computation and computing program" (Expand search), "_ computation of computing program" (Expand search), "_ imputation in computing program" (Expand search), "_ computation _ computing program" (Expand search)
"based computational scheme computational program" » "based computational science computational program" (Expand search), "based computational systems computational program" (Expand search), "based computational system computational program" (Expand search), "based computational some computational program" (Expand search), "based computational scale computational program" (Expand search), "and computational scheme computational program" (Expand search), "by computational scheme computational program" (Expand search)
"_ computation in computing program" » "_ computation in consulting program" (Expand search), "_ computation in computer program" (Expand search), "_ computation in computador program" (Expand search), "_ computation and computing program" (Expand search), "_ computation of computing program" (Expand search), "_ imputation in computing program" (Expand search), "_ computation _ computing program" (Expand search)
1
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Access document
Access document
Doctoral thesis
2
“.... For this reason, this work intends to show how the adoption of structures based in metadata contributes...”
Access document
Access document
Doctoral thesis