Generating Plans from Proofs : The Interpolation-Based Approach to Query Reformulation

Författare
Michael Benedikt
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer 2016 Utgivningsland okänt / Ej specificerat