컨텐츠로 이동
Social processes and proofs of theorems and programs 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Social processes and proofs of theorems and programs

저자: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
출판사: [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
시리즈: Research report (Yale University. Department of Computer Science), 136.
판/형식:   Print book : 영어모든 판과 형식 보기
데이터베이스:WorldCat
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

문서 형식:
모든 저자 / 참여자: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
OCLC 번호: 11301774
설명: 34 pages ; 28 cm.
일련 제목: Research report (Yale University. Department of Computer Science), 136.
책임: Richard A. DeMillio, Richard J. Lipton, and Alan J. Perlis.

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기

유사 항목

관련 주제:(1)

요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


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://viaf.org/viaf/117513630> ; # Richard J. Lipton
    schema:contributor <http://viaf.org/viaf/20995760> ; # 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#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/117513630> # Richard J. Lipton
    a schema:Person ;
    schema:familyName "Lipton" ;
    schema:givenName "Richard J." ;
    schema:name "Richard J. Lipton" ;
    .

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

<http://viaf.org/viaf/20995760> # Alan J. Perlis
    a schema:Person ;
    schema:familyName "Perlis" ;
    schema:givenName "Alan J." ;
    schema:name "Alan J. Perlis" ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.