Avaliações
Nenhuma avaliação ainda
Seja o primeiro a avaliar este livro e compartilhe seus pensamentos
Faça login para Avaliar
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Ainda sem avaliações
2011
·
Inglês
·
Brochura