Normal view
MARC view
Baader, Franz. (Nazwa osobowa)
Used in
1 records as formal heading
Term rewriting and all that / Franz Baader, Tobias Nipkow. - Cambridge, 1998.
LCC online
