Social and Semiotic Analyses for Theorem Prover User Interface Design 1, Volume 11
(1999) Goguen, Joseph
Url: http://dx.doi.org/10.1007/s001650050051
#my_bibtex #Kumo #interface_design #semiotics #social_computing #theorem_proving

Bias in computer systems
(1996) : Friedman, Batya Nissenbaum, He...
DOI: https://doi.org/10.1145/230538.230561
#system_design #design #social_computing #socio_technical_systems #ethics #STS #bias #my_bibtex

Changing Places
(2001) : Agre, Philip E.
DOI: https://doi.org/10.1207/s15327051hci16234_04
#architecture #social_computing #institution #technology #context #my_bibtex

Towards a Social, Ethical Theory of Information
(1997) : Goguen, Joseph
isbn: 9780805824025
#ethnomethodology #social_computing #information #ethics #my_bibtex

Social and Semiotic Analyses for Theorem Prover User Interface Design 1
(1999) : Goguen, Joseph
DOI: https://doi.org/10.1007/s001650050051
#theorem_proving #Kumo #semiotics #interface_design #social_computing #my_bibtex

Changing Places
(2001) : Agre, Philip E.
DOI: https://doi.org/10.1207/s15327051hci16234_04
#technology #social_computing #institution #architecture #context #my_bibtex

Social and Semiotic Analyses for Theorem Prover User Interface Design 1
(1999) : Goguen, Joseph
DOI: https://doi.org/10.1007/s001650050051
#Kumo #social_computing #theorem_proving #interface_design #semiotics #my_bibtex

Changing Places
(2001) : Agre, Philip E.
DOI: https://doi.org/10.1207/s15327051hci16234_04
#institution #social_computing #context #technology #architecture #my_bibtex

Computer Power and Human Reason: From Judgement to Calculation
(1976) : Weizenbaum, Joseph
isbn: 0-71671-0464-1
#power #imperialism_of_instrumental_reason #social_computing #__important #computation #ai #ethics #my_bibtex

Bias in computer systems
(1996) : Batya Friedman and Helen Nissenbaum
DOI: https://doi.org/10.1145/230538.230561
#STS #bias #design #ethics #social_computing #socio_technical_systems #system_design
#my_bibtex