Buscas alternativas:
"based computational and computation program" » "and computational and computation program" (Expandir a busca), "by computational and computation program" (Expandir a busca), "based computational and computational program" (Expandir a busca), "based computational and computational programs" (Expandir a busca), "based computational and compensation program" (Expandir a busca), "based computational fluid computation program" (Expandir a busca), "based computational of 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 of computation program" (Expandir a busca), "based solutions _ computation program" (Expandir a busca)
Mostrando 1 - 6 resultados de 6 para a busca '(("based computational and computation program") OR ("based solutions in computation program"))~', tempo de busca: 1,54s 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