Voltar
Livro
BIBTEX RIS

Theorem Proving in Higher Order Logics

Springer Link; Linguagem: Português

Referência(s)