Search alternatives:
"based computational tool computing program" » "and computational tool computing program" (Expand search), "by computational tool computing program" (Expand search), "based computational biology computing program" (Expand search), "based computational tool consulting program" (Expand search), "based computational tool computer program" (Expand search), "based computational tool computador program" (Expand search), "based computational model computing program" (Expand search), "based computational fog computing program" (Expand search), "based computational flow computing program" (Expand search)
"based solutions and computing program" » "based solutions and consulting program" (Expand search), "based solutions and computer program" (Expand search), "based solutions and computador program" (Expand search), "based solution and computing program" (Expand search), "based solutions in computing program" (Expand search), "based solutions _ computing program" (Expand search), "based solutions grid computing program" (Expand search), "based solutions fog computing program" (Expand search)
"based computational tool computing program" » "and computational tool computing program" (Expand search), "by computational tool computing program" (Expand search), "based computational biology computing program" (Expand search), "based computational tool consulting program" (Expand search), "based computational tool computer program" (Expand search), "based computational tool computador program" (Expand search), "based computational model computing program" (Expand search), "based computational fog computing program" (Expand search), "based computational flow computing program" (Expand search)
"based solutions and computing program" » "based solutions and consulting program" (Expand search), "based solutions and computer program" (Expand search), "based solutions and computador program" (Expand search), "based solution and computing program" (Expand search), "based solutions in computing program" (Expand search), "based solutions _ computing program" (Expand search), "based solutions grid computing program" (Expand search), "based solutions fog computing program" (Expand search)
1
2
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Access document
Access document
Doctoral thesis