Salta al contingut principal

Term Rewriting and All That

Term Rewriting and All That

Autor: Baader/Nipkow
Matèria: Computer Science; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 1998
Identificador: 9781139172752
Col·lecció: Computer Science and Information Technology
Accés