Social and Semiotic Analyses for Theorem Prover User Interface Design (1999)

by Joseph Goguen
Venue:Formal Aspects of Computing
Citations:19 - 11 self

Active Bibliography

5 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
An Overview of the Tatami Project – Joseph Goguen A, Kai Lin A, Grigore Rosu A, Akira Mori B
947 Abstraction in perceptual symbol systems – L. W. Barsalou - 2003
739 Basic objects in natural categories – Eleanor Rosch, Carolyn B. Mervis, Wayne D. Gray, David M. Johnson, Penny Boyes-braem - 1976
614 Attention, similarity, and the identification-Categorization Relationship – Robert M. Nosofsky - 1986
516 Domain Theory – Samson Abramsky, Achim Jung - 1994
1552 The theory of planned behavior – Icek Ajzen - 1991
958 SOAR: An architecture for general intelligence – John E. Laird, Allen Newell, Paul S. Rosenbloom - 1987