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. Department of Computer Science), 136.
Editie/Formaat:   Print book : EngelsAlle edities en materiaalsoorten bekijken.
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. Department 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


Primary Entity

<http://www.worldcat.org/oclc/11301774> # Social processes and proofs of theorems and programs
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "11301774" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ctu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2243483528#Place/new_haven_conn> ; # New Haven, Conn.
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2243483528#Person/lipton_richard_j> ; # Richard J. Lipton
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2243483528#Person/perlis_alan_j> ; # Alan J. Perlis
   schema:contributor <http://viaf.org/viaf/128296912> ; # Yale University. Department of Computer Science.
   schema:creator <http://experiment.worldcat.org/entity/work/data/2243483528#Person/demillio_richard_a> ; # Richard A. DeMillio
   schema:datePublished "1978" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2243483528> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2243483528#Series/research_report_yale_university_department_of_computer_science> ; # Research report (Yale University. Department of Computer Science) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2243483528#Series/research_report_yale_university_dept_of_computer_science> ; # Research report / Yale University. Dept of Computer Science ;
   schema:name "Social processes and proofs of theorems and programs"@en ;
   schema:productID "11301774" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/11301774#PublicationEvent/new_haven_conn_yale_university_dept_of_computer_science_1978> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2243483528#Agent/yale_university_dept_of_computer_science> ; # Yale University, Dept. of Computer Science
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/11301774> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2243483528#Agent/yale_university_dept_of_computer_science> # Yale University, Dept. of Computer Science
    a bgn:Agent ;
   schema:name "Yale University, Dept. of Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Person/demillio_richard_a> # Richard A. DeMillio
    a schema:Person ;
   schema:familyName "DeMillio" ;
   schema:givenName "Richard A." ;
   schema:name "Richard A. DeMillio" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Person/lipton_richard_j> # Richard J. Lipton
    a schema:Person ;
   schema:familyName "Lipton" ;
   schema:givenName "Richard J." ;
   schema:name "Richard J. Lipton" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Person/perlis_alan_j> # Alan J. Perlis
    a schema:Person ;
   schema:familyName "Perlis" ;
   schema:givenName "Alan J." ;
   schema:name "Alan J. Perlis" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Place/new_haven_conn> # New Haven, Conn.
    a schema:Place ;
   schema:name "New Haven, Conn." ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Series/research_report_yale_university_department_of_computer_science> # Research report (Yale University. Department of Computer Science) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/11301774> ; # Social processes and proofs of theorems and programs
   schema:name "Research report (Yale University. Department of Computer Science) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Series/research_report_yale_university_dept_of_computer_science> # Research report / Yale University. Dept of Computer Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/11301774> ; # Social processes and proofs of theorems and programs
   schema:name "Research report / Yale University. Dept of Computer Science ;" ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/128296912> # Yale University. Department of Computer Science.
    a schema:Organization ;
   schema:name "Yale University. Department of Computer Science." ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

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