Tempresto - Acta Informatica
Avalie
 

Livros

Acta Informatica

Autor: completar

Categoria: Informática

ISBN 10: completar

ISBN 13: completar

Edição: completar

Editora: completar

Publicado em: 1990

Páginas: completar

Idioma: completar

» Acesse o Forum do Livro
» Corrigir este livro

   Adicionar a minha biblioteca (eu tenho este livro)
Visibilidade   
Quero emprestado
Quero comprar
Quero Ganhar
Quero Ler
Estou Lendo
Top 10
Já li   Mês   Ano
Recomendar
0
Recomende este livro

Sinopse:

Proof. Let n be a total number of distinct variables, p be a total number of symbols and q be a total size of input terms. During unification no new vertex ...

Expandir


Outros Usuários que Possuem este Livro

Nenhum registro encontrado.

 

Pessoas

 

Últimas bibliotecas