Wikipedia

Fitxategi:Agda proof.jpg

Bereizmen handikoa ‎((2.653 × 1.764 pixel, fitxategiaren tamaina: 555 KB, MIME mota: image/jpeg))

Fitxategi hau Wikimedia Commonsekoa da. Hango deskribapen orriko informazioa behean duzu.
Commons gordailu bat da, lizentzia askea duten multimedia fitxategiena. Lagun dezakezu.

Fitxategi hau Wikimedia Commonsekoa da

Laburpena

Deskribapena Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop.
Data
Jatorria Norberak egina
Egilea Alexandre Buisse (Nattfodd)

Lizentzia

I, Nattfodd, lan honen egileak, argitaratu du edo argitaratzen du ondorengo lizentzia hauen pean:
GNU head Baimena duzu dokumentu hau kopiatu, banatu edo/eta aldatzeko GNU Free Documentation License baldintzapean, Free Software Foundationek argitaratutako 1.2 edo ondorengo bertsioan; sekzio aldaezinik gabe, azaleko testurik gabe, eta atzeko azaleko testurik gabe. Lizentziaren kopia dago GNU Free Documentation License izenburudun atalean.
w:eu:Creative Commons
eskuduntza berdin partekatu 		Fitxategi hau Creative Commons Attribution-Share Alike 3.0 Unported lizentziapean dago.
Aitortu: I, Nattfodd
Askea zara:
  • partekatzeko – lana kopiatzeko, banatzeko eta bidaltzeko
  • birnahasteko – lana moldatzeko
Ondorengo baldintzen pean:
  • eskuduntza – Egiletza behar bezala aitortu behar duzu, lizentzia ikusteko esteka gehitu, eta ea aldaketak egin diren aipatu. Era egokian egin behar duzu hori guztia, baina inola ere ez egileak zure lana edo zure erabilera babesten duela irudikatuz.
  • berdin partekatu – Lan honetan oinarrituta edo aldatuta berria eraikitzen baduzu, emaitza lana hau bezalako lizentzia batekin argitaratu behar duzu.
This licensing tag was added to this file as part of the GFDL licensing update.
w:eu:Creative Commons
eskuduntza berdin partekatu
This file is licensed under the Creative Commons Attribution-Share Alike 2.5 Generic, 2.0 Generic and 1.0 Generic license.
Aitortu: I, Nattfodd
Askea zara:
  • partekatzeko – lana kopiatzeko, banatzeko eta bidaltzeko
  • birnahasteko – lana moldatzeko
Ondorengo baldintzen pean:
  • eskuduntza – Egiletza behar bezala aitortu behar duzu, lizentzia ikusteko esteka gehitu, eta ea aldaketak egin diren aipatu. Era egokian egin behar duzu hori guztia, baina inola ere ez egileak zure lana edo zure erabilera babesten duela irudikatuz.
  • berdin partekatu – Lan honetan oinarrituta edo aldatuta berria eraikitzen baduzu, emaitza lana hau bezalako lizentzia batekin argitaratu behar duzu.
Nahiago duzun lizentzia erabil dezakezu.

Irudi-oineko testuak

Add a one-line explanation of what this file represents

Fitxategi honetan agertzen diren itemak

honako hau irudikatzen du

sorrera data

26 apirila 2007

captured with ingelesa

Nikon D50 ingelesa

exposure time ingelesa

0,01 segundo

ISO speed ingelesa

200

media type ingelesa

image/jpeg

checksum ingelesa

901eccd8dba3b0571635d2eba84dafa3482a998e

zehazteko metodoa: SHA-1 ingelesa

data size ingelesa

568.619 Byte

altuera

1.764 pixel

zabalera

2.653 pixel

Fitxategiaren historia

Data/orduan klik egin fitxategiak orduan zuen itxura ikusteko.

Data/OrduaIruditxoaNeurriakErabiltzaileaIruzkina
oraingoa18:41, 18 ekaina 200718:41, 18 ekaina 2007 bertsioaren iruditxoa2.653 × 1.764 (555 KB)Nattfodd{{Information |Description=Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |Source=self-made (http://aperturefirst.eff

Hurrengo orrialdeek dute fitxategi honetarako lotura:

Fitxategiaren erabilera orokorra

Hurrengo beste wikiek fitxategi hau darabilte:

Metadatuak

Fitxategi honek informazio gehigarri dauka, ziurrenik kamera digital edo eskanerrak egiterako momentuan gehitutakoa. Hori dela-eta, jatorrizko fitxategi hori aldatu egin bada, baliteke xehetasun batzuek errealitatearekin bat ez egitea.

"https://eu.wikipedia.org/wiki/Fitxategi:Agda_proof.jpg"(e)tik eskuratuta