Tell your friends about this item:
Generating Plans from Proofs
Michael Benedikt
Generating Plans from Proofs
Michael Benedikt
Media | Books Book |
Released | March 15, 2016 |
ISBN13 | 9783031007286 |
Publishers | Springer International Publishing AG |
Dimensions | 367 g |
Language | English |