![]() |
by: Franz Baader · Tobias NipkowHardcover details (United Kingdom). details (USA). details (Germany). details (Canada). ISBN: 978-0-521-45520-6 ISBN-10: 0-521-45520-0 Cambridge University Press · 1998 |
See also: | ||
2008 | Paperback | Term Rewriting & All That |