Found 3 results
Filters: First Letter Of Last Name is K and Author is Gada Kadoda  [Clear All Filters]
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 
G. Kadoda, Which way up is your editor?, presented at the 09/1996, PPIG Student Workshop 1996, 1996.
G. Kadoda, Stone, R. G., and Diaper, D., Desirable features of educational theorem provers - a cognitive dimensions viewpoint, presented at the 01/1999, PPIG 1999 - 11th Annual Workshop, 1999.
G. Kadoda, A Cognitive Dimensions view of the differences between designers and users of theorem proving assistants, presented at the 04/2000, PPIG 2000 - 12th Annual Workshop, 2000.