跳至内容
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)

確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


<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 

没有帳號嗎?你可很容易的 建立免費的帳號.