|
eCommons@Cornell >
Browsing by Author Aaron, Eric
Showing results 1 to 6 of 6
| Preview | Issue Date | Title | Author(s) | | May-1998 | Designing a Calculational Logic Theorem Prover: Insight into SearchProcedure via Eye Movements | Aaron, Eric; Spivey, Michael |
| Feb-1997 | Formal Justification of Underspecification for S5 | Aaron, Eric; Gries, David |
| Apr-1998 | Frequency vs. Probability Formats: Framing the Three Doors Problem | Aaron, Eric; Spivey-Knowlton, Michael |
| Feb-1999 | Insight into Theorem Proving via Eye Movements | Aaron, Eric; Spivey, Michael |
| Sep-1999 | Justifying Calculational Logic by a Conventional Metalinguistic Semantics | Aaron, Eric; Allen, Stuart |
| 6-Sep-2000 | Tactic-Based Modeling of Cognitive Inference on Logically StructuredNotation | Aaron, Eric |
Showing results 1 to 6 of 6
|
