Generating Plans from Proofs > Editions
by Michael Benedikt
Published March 15th 2016
by Springer
1, Paperback, 208 pages
Published March 15th 2016
by Morgan & Claypool
Paperback, 205 pages
Published March 15th 2016
by Morgan & Claypool
ebook, 205 pages



