A mostrar 1 - 1 resultados de 1 para a pesquisa 'David McAllester', tempo de pesquisa: 0.02seg Refinar resultados
  1. 1
    An equality theorem prover based on grammar rewriting

    An equality theorem prover based on grammar rewriting Por Batzoglou, Serafim

    Publicado em 2007
    Outros Autores: “...David McAllester....”
    Obter o texto integral
    Thesis

Ferramentas de pesquisa: