Social processes and proofs of theorems and programs (Q56575983)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Social processes and proofs of theorems and programs |
No description defined |
Statements
Social processes and proofs of theorems and programs (English)
0 references
1 May 1979
0 references
22
0 references
5
0 references
271-280
0 references