Buscas alternativas:
"based computational to computation program" » "and computational to computation program" (Expandir a busca), "by computational to computation program" (Expandir a busca), "based computational to computational program" (Expandir a busca), "based computational to computational programs" (Expandir a busca), "based computational to compensation program" (Expandir a busca), "based computational tool computation program" (Expandir a busca), "based computational _ computation program" (Expandir a busca), "based computational 3d computation program" (Expandir a busca), "based computational the computation program" (Expandir a busca), "based computational ntu computation program" (Expandir a busca)
"based solutions in computation program" » "based solutions in computational program" (Expandir a busca), "based solutions in computational programs" (Expandir a busca), "based solutions in compensation program" (Expandir a busca), "based solutions on computation program" (Expandir a busca), "based solutions and computation program" (Expandir a busca), "based solutions _ computation program" (Expandir a busca)
Mostrando 1 - 6 resultados de 6 para a busca '(("based computational to computation program") OR ("based solutions in computation program"))~', tempo de busca: 1,44s Refinar Resultados
3
Publicado em 2019
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Acessar documento
Tese
Exportar CSV Export RIS