Datei:OCaml Logo.svg
Zur Navigation springen
Zur Suche springen
Größe der PNG-Vorschau dieser SVG-Datei: 525 × 144 Pixel. Weitere aus SVG automatisch erzeugte PNG-Grafiken in verschiedenen Auflösungen: 320 × 88 Pixel | 640 × 176 Pixel | 1.024 × 281 Pixel | 1.280 × 351 Pixel | 2.560 × 702 Pixel
Originaldatei (SVG-Datei, Basisgröße: 525 × 144 Pixel, Dateigröße: 12 KB)
Diese Datei und die Informationen unter dem roten Trennstrich werden aus dem zentralen Medienarchiv Wikimedia Commons eingebunden.
Beschreibung
| Beschreibung |
English: OCaml Logo |
| Datum | |
| Quelle | https://ocaml.org/ |
| Urheber | OCaml.org project |
| Genehmigung (Weiternutzung dieser Datei) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG‑Erstellung |  Diese Vektorgrafik wurde mit Adobe Illustrator erstellt. |
Lizenz
|
Dieses Werk wurde von seinem Urheber INRIA als gemeinfrei veröffentlicht. Dies gilt weltweit. In manchen Staaten könnte dies rechtlich nicht möglich sein. Sofern dies der Fall ist: INRIA gewährt jedem das bedingungslose Recht, dieses Werk für jedweden Zweck zu nutzen, es sei denn, Bedingungen sind gesetzlich erforderlich.
|
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|---|
| aktuell | 19:13, 29. Jan. 2015 | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Dateiverwendung
Die folgende Seite verwendet diese Datei:
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
- Verwendung auf ar.wikipedia.org
- Verwendung auf az.wikipedia.org
- Verwendung auf ca.wikipedia.org
- Verwendung auf cs.wikipedia.org
- Verwendung auf da.wikipedia.org
- Verwendung auf 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)
- History of programming languages
- 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)
Weitere globale Verwendungen dieser Datei anschauen.