Search alternatives:
"based computational one computation program" » "and computational one computation program" (Expand search), "by computational one computation program" (Expand search), "based computational one computational program" (Expand search), "based computational one computational programs" (Expand search), "based computational one compensation program" (Expand search), "based computational code computation program" (Expand search), "based computational and computation program" (Expand search), "based computational codes computation program" (Expand search), "based computational core computation program" (Expand search), "based computational pose computation program" (Expand search), "based computational dose computation 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 one computation program" » "and computational one computation program" (Expand search), "by computational one computation program" (Expand search), "based computational one computational program" (Expand search), "based computational one computational programs" (Expand search), "based computational one compensation program" (Expand search), "based computational code computation program" (Expand search), "based computational and computation program" (Expand search), "based computational codes computation program" (Expand search), "based computational core computation program" (Expand search), "based computational pose computation program" (Expand search), "based computational dose computation 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
3
4
5
“... is one of the transformations in the journalistic production process, induced by the technological...”
Access document
Access document
Doctoral thesis