skip to content
Social processes and proofs of theorems and programs Preview this item
ClosePreview this item
Checking...

Social processes and proofs of theorems and programs

Author: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
Publisher: [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
Series: Research report (Yale University. Dept of Computer Science), 136.
Edition/Format:   Book : English
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
OCLC Number: 11301774
Description: 34 pages ; 28 cm.
Series Title: Research report (Yale University. Dept of Computer Science), 136.
Responsibility: Richard A. DeMillio, Richard J. Lipton, and Alan J. Perlis.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/11301774>
library:oclcnum"11301774"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/11301774>
rdf:typeschema:Book
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
<http://viaf.org/viaf/128296912>
rdf:typeschema:Organization
schema:name"Yale University. Department of Computer Science."
schema:creator
schema:datePublished"1978"
schema:exampleOfWork<http://worldcat.org/entity/work/id/3698337>
schema:inLanguage"en"
schema:name"Social processes and proofs of theorems and programs"@en
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.