Wikidata

(Q56575983)

English

Social processes and proofs of theorems and programs

No description defined

In more languages

Statements

title
Social processes and proofs of theorems and programs (English)
0 references
author
Alan Perlis
series ordinal
3
object named as
Alan J. Perlis
0 references
author name string
Richard A. De Millo
series ordinal
1
0 references
Richard J. Lipton
series ordinal
2
0 references
publication date
1 May 1979
0 references
volume
22
0 references
issue
5
0 references
page(s)
271-280
0 references

Identifiers

DOI
10.1145/359104.359106
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q56575983&oldid=1400048174"