by: A. Leitsch · T. Tammet · N. Zamov
Paperback
ISBN: 978-0-387-56732-7
ISBN-10: 0-387-56732-1
Springer Verlag · 1993
|
|
by: A. Leitsch · T. Tammet · N. ZamovPaperback
ISBN: 978-0-387-56732-7 ISBN-10: 0-387-56732-1 Springer Verlag · 1993 |
| See also: | ||
| 2008 | Taschenbuch | Resolution Methods for the Decision Problem (Lecture Notes in Computer Science, Band 679) |