File:OCaml_Logo.svg
維基百科,自由的 encyclopedia
此 SVG 檔案的 PNG 預覽的大小:525 × 144 像素。 其他解析度:320 × 88 像素 | 640 × 176 像素 | 1,024 × 281 像素 | 1,280 × 351 像素 | 2,560 × 702 像素。
原始檔案 (SVG 檔案,表面大小:525 × 144 像素,檔案大小:12 KB)
摘要
描述OCaml Logo.svg |
English: OCaml Logo |
日期 | |
來源 | https://ocaml.org/ |
作者 | OCaml.org project |
授權許可 (重用此檔案) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
SVG開發 InfoField | 本向量圖形使用Adobe Illustrator創作。 |
授權條款
Public domainPublic domainfalsefalse |
此作品已由其作者,INRIA,釋出至公有領域。此授權條款在全世界均適用。 這可能在某些國家不合法,如果是的話: INRIA授予任何人有權利使用此作品於任何用途,除受法律約束外,不受任何限制。 Public domainPublic domainfalsefalse |
在此檔案描寫的項目
描繪內容
4 4 2014
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
日期/時間 | 縮圖 | 尺寸 | 使用者 | 備註 | |
---|---|---|---|---|---|
目前 | 2015年1月29日 (四) 18:13 | 525 × 144(12 KB) | Hexaphixylix | User created page with UploadWizard |
檔案用途
下列3個頁面有用到此檔案:
全域檔案使用狀況
以下其他 wiki 使用了這個檔案:
- ar.wikipedia.org 的使用狀況
- az.wikipedia.org 的使用狀況
- ca.wikipedia.org 的使用狀況
- cs.wikipedia.org 的使用狀況
- da.wikipedia.org 的使用狀況
- de.wikipedia.org 的使用狀況
- en.wikipedia.org 的使用狀況
- ML (programming language)
- OCaml
- Poplog
- Robin Milner
- Standard ML
- Isabelle (proof assistant)
- HOL (proof assistant)
- Logic for Computable Functions
- F Sharp (programming language)
- Coq (software)
- Extended ML
- MLton
- Xavier Leroy
- Lennart Augustsson
- Standard ML of New Jersey
- Dependent ML
- Concurrent ML
- Twelf
- Camlp4
- SLAM project
- Caml
- MacroML
- Don Sannella
- FFTW
- Damien Doligez
- GeneWeb
- JoCaml
- HOL Light
- Haxe
- MTASC
- Frank Pfenning
- Matita
- Gérard Huet
- ATS (programming language)
- Marionnet
- Frama-C
- Don Syme
- Alice (programming language)
- Astrée (static analysis)
- Thierry Coquand
- LEGO (proof assistant)
- F* (programming language)
- Alt-Ergo
- Ur (programming language)
檢視此檔案的更多全域使用狀況。
詮釋資料
此檔案中包含其他資訊,這些資訊可能是由數位相機或掃描器在建立或數位化過程中所新增的。若檔案自原始狀態已被修改,一些詳細資料可能無法完整反映出已修改的檔案。
寬度 | 524.819px |
---|---|
高度 | 144.277px |