Search alternatives:
"based computational atom computing program" » "based computational phantom computing program" (Expand search), "based computational anatomy computing program" (Expand search), "based computational art computing program" (Expand search), "based computational atom consulting program" (Expand search), "based computational atom computer program" (Expand search), "based computational atom computador program" (Expand search), "based computational fog computing program" (Expand search), "based computational and computing program" (Expand search), "based computational of computing program" (Expand search)
"by computational and computational program" » "by computational fluid computational program" (Expand search), "by computational _ computational program" (Expand search), "_ computational and computational program" (Expand search)
"based computational atom computing program" » "based computational phantom computing program" (Expand search), "based computational anatomy computing program" (Expand search), "based computational art computing program" (Expand search), "based computational atom consulting program" (Expand search), "based computational atom computer program" (Expand search), "based computational atom computador program" (Expand search), "based computational fog computing program" (Expand search), "based computational and computing program" (Expand search), "based computational of computing program" (Expand search)
"by computational and computational program" » "by computational fluid computational program" (Expand search), "by computational _ computational program" (Expand search), "_ computational and computational 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