Fitxer:OCaml_Logo.svg
From Wikipedia, the free encyclopedia
Mida d'aquesta previsualització PNG del fitxer SVG: 525 × 144 píxels. Altres resolucions: 320 × 88 píxels | 640 × 176 píxels | 1.024 × 281 píxels | 1.280 × 351 píxels | 2.560 × 702 píxels.
Fitxer original (fitxer SVG, nominalment 525 × 144 píxels, mida del fitxer: 12 Ko)
Aquest fitxer i la informació mostrada a continuació provenen del dipòsit multimèdia lliure Wikimedia Commons. Vegeu la pàgina original a Commons |
Resum
DescripcióOCaml Logo.svg |
English: OCaml Logo |
Data | |
Font | https://ocaml.org/ |
Autor | OCaml.org project |
Permís (Com reutilitzar aquest fitxer) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
SVG genesis InfoField | Aquesta imatge vectorial ha estat creada amb Adobe Illustrator |
Llicència
Public domainPublic domainfalsefalse |
S'ha alliberat aquesta obra al domini públic pel seu autor INRIA. Això s'aplica a tot el món. En alguns països això pot no ser legalment possible, en tal cas: INRIA concedeix a tothom el dret d'usar aquesta obra per a qualsevol propòsit, sense cap condició llevat d'aquelles requerides per la llei. Public domainPublic domainfalsefalse |
Elements representats en aquest fitxer
representa l'entitat
4 abr 2014
Historial del fitxer
Cliqueu una data/hora per veure el fitxer tal com era aleshores.
Data/hora | Miniatura | Dimensions | Usuari/a | Comentari | |
---|---|---|---|---|---|
actual | 20:13, 29 gen 2015 | 525 × 144 (12 Ko) | Hexaphixylix | User created page with UploadWizard |
Ús del fitxer
La pàgina següent utilitza aquest fitxer:
Ús global del fitxer
Utilització d'aquest fitxer en altres wikis:
- Utilització a ar.wikipedia.org
- Utilització a az.wikipedia.org
- Utilització a cs.wikipedia.org
- Utilització a da.wikipedia.org
- Utilització a de.wikipedia.org
- Utilització a 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)
- Steven G. Johnson
Vegeu més usos globals d'aquest fitxer.
Metadades
Aquest fitxer conté informació addicional, probablement afegida per la càmera digital o l'escàner utilitzat per a crear-lo o digitalitzar-lo. Si s'ha modificat posteriorment, alguns detalls poden no reflectir les dades reals del fitxer modificat.
Amplada | 524.819px |
---|---|
Alçària | 144.277px |
Obtingut de «https://ca.wikipedia.org/wiki/Fitxer:OCaml_Logo.svg»