Term rewriting and all that /

ανά Baader, Franz
Έκδοση 1998

Frontiers of combining systems : : first international workshop, Munich, March 1996 /

Έκδοση 1996