Raatz

partilhar

bibliografia

coleções

Progress In Computer Science And Applied Logic

  1. Graph-Based Proof Procedures For Horn Clauses
    #1
X
recomendar
Raatz
Para recomendar este autor a um amigo basta preencher o seu nome e email, bem como o nome e email da pessoa a quem pretende fazer a sugestão. Se quiser pode ainda acrescentar um pequeno comentário, de seguida clique em enviar o pedido. A sua recomendação será imediatamente enviada em seu nome, para o email da pessoa a quem pretende fazer a recomendação.
A sua identificação:
A identificação da pessoa a quem quer recomendar este titulo:
X
A sua recomendação foi enviada com sucesso!
X
Ocorreu um erro ao enviar a sua recomendação.
X
selecione o livro adotado:
X
Ocorreu um erro!
Por favor tente novamente mais tarde.
X
atingiu o limite máximo de dispositivos autorizados
Por favor, aceda à area de cliente para gerir os dispositivos ativos.