Meta-Programming in Logic

Springer Link; Linguagem: Português

Referência(s)