[PL-sem-jr] 4/6: Subgoal Induction

Sam Caldwell samc at ccs.neu.edu
Mon Apr 4 17:32:13 EDT 2016


Reminder: On wednesday we're discussing the 10PL paper Subgoal Induction
[1].

- Sam

[1] http://dl.acm.org/citation.cfm?id=359466
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Pl-sem-jr mailing list