von: Tanel Tammet · A. Leitsch · Nail Zamov · C. Ferm¿¿ller
Taschenbuch
EAN=ISBN-13: 978-3-540-56732-5
ISBN-10: 3-540-56732-1
Springer · 2008
|
|
von: Tanel Tammet · A. Leitsch · Nail Zamov · C. Ferm¿¿llerTaschenbuch
EAN=ISBN-13: 978-3-540-56732-5 ISBN-10: 3-540-56732-1 Springer · 2008 |
| Siehe auch: | ||
| 1993 | Paperback | Resolution Methods for the Decision Problem (Lecture Notes in Computer Science) |