Voltar
Livro
BIBTEX RIS

Higher Order Logic Theorem Proving and Its Applications

Springer Link; Linguagem: Português

Referência(s)