Social Processes and Proofs of Theorems and Programs.
Richard A. DeMilloRichard J. LiptonAlan J. PerlisPublished in: Commun. ACM (1979)
Keyphrases
- computer programs
- intermediate level
- social interaction
- collective learning
- social networks
- social media
- automatic programming
- theorem proving
- neural network
- sequent calculus
- communication patterns
- social context
- database
- social relationships
- theorem prover
- knowledge sharing
- process model
- artificial intelligence
- proof search