An edition of Generating Plans from Proofs
(2016)
Generating Plans from Proofs
The Interpolation-Based Approach to Query Reformulation
by Michael Benedikt, Julien Leblay, Balder Ten Cate, and Efthymia Tsamoura
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation
2016, Morgan & Claypool Publishers
in English
1627059423 9781627059428
|
zzzz
Libraries near you:
WorldCat
|
|
2
Generating Plans from Proofs
2016, Springer International Publishing AG
in English
303100728X 9783031007286
|
zzzz
Libraries near you:
WorldCat
|
3
Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation
2016, Morgan & Claypool Publishers
in English
1627059547 9781627059541
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| January 15, 2023 | Edited by ImportBot | import existing book |
| February 27, 2022 | Created by ImportBot | import new book |