컨텐츠로 이동
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. Dept of Computer Science), 136.
판/형식:   도서 : 영어
데이터베이스: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. Dept of Computer Science), 136.
책임: Richard A. DeMillio, Richard J. Lipton, and Alan J. Perlis.

리뷰

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

태그

첫번째 되기

유사 항목

관련 주제:(1)

요청하신 것을 확인하기

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

링크된 데이터


<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

윈도우 닫기

WorldCat에 로그인 하십시오 

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