Ero sivun ”Tietorakenne” versioiden välillä
| [katsottu versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa |
Ei muokkausyhteenvetoa Merkkaus: Tämä muokkaus on kumottu |
||
Rivi 35:
== Lähteet ==
{{Viitteet}}
== Aiheesta muualla ==▼
* [https://plato.stanford.edu/entries/type-theory/ Type Theory] {{en}}▼
== Kirjallisuutta ==
Rivi 43 ⟶ 40:
* {{Kirjaviite | Tekijä = A. V. Aho, J. E. Hopcroft, J. D. Ullman | Nimeke = Data Structures and Algorithms | Julkaisija = Addison-Wesley | Vuosi = 1983 | Isbn = 0-201-00023-7 | Kieli = {{en}} }}
▲== Aiheesta muualla ==
▲* [https://plato.stanford.edu/entries/type-theory/ Type Theory] {{en}}
[[Luokka:Tietojenkäsittelyteoria]]
| |||