bookmark

Rippling: A Heuristic for Guiding Inductive Proofs - Bundy, Stevens, van Harmelen, Ireland, Smaill (ResearchIndex)


Description

my post

Preview

Tags

Users

  • @grahl

Comments and Reviews