Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
Michael Benedikt (author), Julien Leblay (author), Balder ten Cate (author), Efthymia Tsamoura (author)
Paperback Published on: 15/03/2016
Price: £77.00
Publisher information
- Publisher: Morgan & Claypool Publishers
- ISBN: 9781627059541
- Number of pages: 205
- Dimensions: 235 x 191 mm
- Weight: 333g
- Languages: English