Generating Plans from Proofs
The Interpolation-based Approach to Query Reformulation
Häftad, Engelska, 2016
Av Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
1 829 kr
Slutsåld
Finns i fler format (1)
Produktinformation
- Utgivningsdatum2016-03-15
- Mått191 x 235 x undefined mm
- Vikt333 g
- SpråkEngelska
- SerieSynthesis Lectures on Data Management
- FörlagMorgan & Claypool Publishers
- EAN9781627059541