Suchresultat

First-Order Logic and Automated Theorem Proving Englisch 01.01.1996 Fester Einband vergriffen
String-Rewriting Systems Englisch 01.01.1993 Fester Einband vergriffen
A Practical Theory of Programming Englisch 01.01.1993 Fester Einband vergriffen