Generating Plans from Proofs
, by Benedikt, Michael; Leblay, Julien; Cate, Balder Ten; Tsamoura, EfthymiaNote: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9781627059541 | 1627059547
- Cover: Paperback
- Copyright: 3/15/2016