File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
維基百科,自由的 encyclopedia
![File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png/800px-CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png)
預覽大小:800 × 579 像素。 其他解析度:320 × 231 像素 | 640 × 463 像素 | 1,016 × 735 像素。
原始檔案 (1,016 × 735 像素,檔案大小:74 KB,MIME 類型:image/png)
摘要
描述CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png |
English: A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers. |
日期 | |
來源 | 自己的作品 |
作者 | Roconnor |
授權條款
Coq
本幅螢幕擷圖不包含部份或全部的著作權保護程式,或其作者已將該程式以自由授權發佈,並遵循維基共享資源的授權指南。您可根據其授權自由使用本幅截圖。 自由軟體授權:
![]() |
此函式庫為自由軟體;您可依自由軟體基金會所發表的 GNU 較寬鬆通用公共授權條款 的條款散佈與/或修改,無論您依據的是本授權條款的 2.1 版本或 (您可自行選擇) 之後的任何版本。本程式發佈的目的是希望可以提供幫助,但不負任何擔保責任;亦無隱含對適售性或特定用途的適用性的情形擔保。請參考 GNU 較寬鬆通用公共授權條款的 第 2.1 版 與 第 3 版。 http://www.gnu.org/licenses/lgpl.htmlLGPLGNU Lesser General Public Licensetruetrue |
註:如果本幅截圖並非直接顯示出該程式碼本身的執行結果,例如非該程式有關之圖文,那麼這部份的授權必需分別指明。
العربية ∙ български ∙ català ∙ čeština ∙ kaszëbsczi ∙ Deutsch ∙ Ελληνικά ∙ English ∙ British English ∙ Esperanto ∙ español ∙ فارسی ∙ suomi ∙ français ∙ galego ∙ עברית ∙ magyar ∙ Bahasa Indonesia ∙ italiano ∙ 日本語 ∙ 한국어 ∙ македонски ∙ മലയാളം ∙ Bahasa Melayu ∙ norsk bokmål ∙ Nederlands ∙ norsk ∙ polski ∙ português ∙ português do Brasil ∙ română ∙ русский ∙ sicilianu ∙ slovenčina ∙ slovenščina ∙ Simple English ∙ svenska ∙ தமிழ் ∙ ไทย ∙ Türkçe ∙ українська ∙ 简体中文 ∙ 繁體中文 ∙ +/−
Proof shown
Public domainPublic domainfalsefalse |
![]() |
我,此作品的版權所有人,釋出此作品至公共領域。此授權條款在全世界均適用。 這可能在某些國家不合法,如果是的話: 我授予任何人有權利使用此作品於任何用途,除受法律約束外,不受任何限制。 |
說明
添加單行說明來描述出檔案所代表的內容
Toluphene
在此檔案描寫的項目
描繪內容
19 8 2009
image/png
75,283 位元組
735 像素
1,016 像素
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
日期/時間 | 縮圖 | 尺寸 | 使用者 | 備註 | |
---|---|---|---|---|---|
目前 | 2010年2月9日 (二) 21:43 | ![]() | 1,016 × 735(74 KB) | Roconnor | {{Information |Description={{en|1=A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers.}} |Source={{own}} |Author=Roconnor |Date=2009-08-19 |Permission= |other_versions= |
檔案用途
下列頁面有用到此檔案:
全域檔案使用狀況
以下其他 wiki 使用了這個檔案:
- el.wikipedia.org 的使用狀況
- en.wikipedia.org 的使用狀況
- et.wikipedia.org 的使用狀況
- fr.wikipedia.org 的使用狀況
- ja.wikipedia.org 的使用狀況
- ru.wikipedia.org 的使用狀況