• 引文/輸出
  引文/輸出

  複製引文

  APA（第6版）

  

  芝加哥（作者-日期，第15版）

  

  Harvard（第18版）

  

  MLA（第7版）

  

  Turabian（第6版）

  

  輸出引文

  匯出到RefWorks   匯至EndNote / Reference Manager   匯至EasyBib   取消

  請注意： 引文均以參考咨詢的標準為凖。但是，格式的規則在應用程式或研究的領域之間會大相徑庭。應考慮審的出版商、上課教師、學術機構或組織等的具體要求。
• 列印
• 電子郵件
  電子郵件

  所有的欄位都要。

  必須要有電子郵件地址欄位。請輸入收件人的電子郵件地址。

  輸入的電子郵件地址格式不對。請重新輸入收件人的電子郵件地址。

  最多可將資料送至五位收件人。

  輸入收件者的電子郵件地址： 最多能用逗號（,）將五個位址分開

  必須要有名字的欄位。請輸入你的名字。

  輸入你的名字： 必須要有主題欄位。請輸入主題。 主題:

  必須要有電子郵件訊息的欄位。請輸入訊息。

  電子郵件訊息： 我想你可能會對此資料感興趣，資料位於 http://www.worldcat.org/oclc/11301774 題名： Social processes and proofs of theorems and programs 作者： Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Dept. of Computer Science 出版商： [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978. OCLC:11301774

  
  

  你輸入的ReCaptcha字詞不對。請設法與顯示在視窗中的那兩個字相符，或者試用音訊版本。

  取消
• 分享
• 永久連結
  永久連結

  複製URL以便和網頁連結：

• 撰寫評論
• 對此資料進行評分：
• • 1
  • 2
  • 3
  • 4
  • 5

更多類似這樣的

主題

• Computer programming.

類似資料

Social processes and proofs of theorems and programs

作者：	Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Dept. of Computer Science.
出版商：	[New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
叢書：	Research report (Yale University. Dept of Computer Science), 136.
版本/格式：	圖書 : 英語檢視所有的版本和格式
評定級別：	(尚未評分) 0 附有評論 - 成爲第一個。