Mostrando 1 - 3 resultados de 3 para a busca 'parallel processing modules algorithm set method*', tempo de busca: 0,23s

3

... de sistemas de reescrita, o algoritmo clássico de Knut and Bendix e o algoritmo de completação módulo teorial...

Sistemas de reescrita de termos: teoria e uma aplicação

Publicado em 1999
Dissertação