Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management) by Michael Benedikt; Julien Leblay; Balder Ten Cate; Efthymia Tsamoura

£10.00

Soft cover. Condition: As New. This book has been in storage since publication and is unread. Hence the description as new.