Normal view
MARC view
Craig interpolation (Topical Term)
Machine generated authority record.
Work cat.: (OSt)278634: Generating plans from proofs : the interpolation-based approach to query reformulation (e-book), 2016