Publisher's Synopsis
Generating Plans from Proofs
Paperback (15 Mar 2016)
Not available for sale
Out of stock
Generating Plans from Proofs
ISBN: | 9783031029844 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 15 Mar 2016 |
Language: | English |
Number of pages: | 208 |
Weight: | 368g |
Height: | 235mm |
Width: | 191mm |