by: Rolf Socher-Ambrosius · Patricia Johann
Hardcover
ISBN: 978-0-387-94847-8
ISBN-10: 0-387-94847-3
Springer · 1996
|
|
by: Rolf Socher-Ambrosius · Patricia JohannHardcover
ISBN: 978-0-387-94847-8 ISBN-10: 0-387-94847-3 Springer · 1996 |
| See also: | ||
| 2011 | Paperback | Deduction Systems (Texts in Computer Science) |