doorgaan naar inhoud
Social processes and proofs of theorems and programs Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Social processes and proofs of theorems and programs

Auteur: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
Uitgever: [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
Serie: Research report (Yale University. Dept of Computer Science), 136.
Editie/Formaat:   Boek : Engels
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Soort document: Boek
Alle auteurs / medewerkers: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
OCLC-nummer: 11301774
Beschrijving: 34 pages ; 28 cm.
Serietitel: Research report (Yale University. Dept of Computer Science), 136.
Verantwoordelijkheid: Richard A. DeMillio, Richard J. Lipton, and Alan J. Perlis.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.

Vergelijkbare items

Verwante onderwerpen:(1)

Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde 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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.