eCommons@Cornell: Browsing eCommons

Browsing by Author Aaron, Eric

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 4 to 6 of 6

Issue Date	Title	Author(s)
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 4 to 6 of 6