Term rewriting techniques for equational reasoning


Henrik Linnestad
Bok Engelsk 1997

Detaljer

Bibliotek som har denne