Salta al contingut principal

Programming with Higher-Order Logic

Programming with Higher-Order Logic

Autor: Miller/Nadathur
Matèria: Computer Science; Mathematics; Logic; Categories and Sets; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 2012
Identificador: 9781139021326
Col·lecció: Computer Science and Information Technology
Accés