Browsing by Subject automated reasoning
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) |
|---|---|---|
| 9-Oct-2013 | Grammar Rewriting | - |
| 9-Oct-2013 | Lifting Transformations | - |
| 9-Oct-2013 | Observations on Cognitive Judgments | - |
| 9-Oct-2013 | The Programmer's Apprentice Project: A Research Overview | - |
| 9-Oct-2013 | Tractable Inference Relations | - |