×
  • Generating Plans from Proofs. The Interpolation-based Approach to Query Reformulation

    Michael Benedikt Julien Leblay Balder ten Cate Efthymia Tsamoura

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read