Súvisiace: Download | Publikácie | English version |
V zimnom semestri roku 2002 študenti Kodaňskej univerzity používali CL v rámci kurzu Metamathematics of Computer Programming prednášaného doc. Pavlom J. Vodom.
* – aktualizované v priebehu posledných 7 dní | Posledná zmena: 2023-02-09T16:30+0100 |