Voltar
Livro
BIBTEX RIS

Higher-Order Algebra, Logic, and Term Rewriting

Springer Link; Linguagem: Português

Referência(s)