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
504 Attention, similarity, and the identification-Categorization Relationship – Robert M. Nosofsky - 1986
626 Basic objects in natural categories – Eleanor Rosch, Carolyn B. Mervis, Wayne D. Gray, David M, Penny Boyes-braem - 1976
889 The Symbol Grounding Problem – Stevan Harnad - 1990
898 Recognition-by-components: A theory of human image understanding – Irving Biederman - 1987
1080 The theory of planned behavior – Icek Ajzen - 1991
862 SOAR: An architecture for general intelligence – John E. Laird, Allen Newell, Paul S. Rosenbloom, S Elec, Ten It Ec C, John E. Laird, Allen Newell, Paul S. Rosenbloom - 1987