:quality(100))
imagem ilustrativa
Theorem proving in higher order logics
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2003
- ISBN: 9783540406648
- Theorem proving in higher order logics
Descrição: This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logi... Veja mais