Normal view
MARC view
Nipkow, Tobias(Personal Name)
Machine generated authority record
Work cat.: (OSt)124392: Baader, Franz. 208, Term rewriting and all that /, 1999.