Generating Plans from Proofs

Author

Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura

Publisher

Synthesis Collection of Technology (R0)

Subject

Computing and Processing, General Topics for Engineers

Year

2016

ISBN

9783031018565