by Rolf Socher-Ambrosius Patricia Johann
Paperback
ISBN: 978-1-4612-7479-7
ISBN-10: 1-4612-7479-6
Springer New York · 2011
|
|
by Rolf Socher-Ambrosius Patricia JohannPaperback
ISBN: 978-1-4612-7479-7 ISBN-10: 1-4612-7479-6 Springer New York · 2011 |
| See also (possibly by other authors): | ||
| 1996 | Hardcover | Deduction Systems (Texts in Computer Science) |