ZLATUŠKA, Jiří. Object modelling using lambda-calculus for information systems (abstract). In Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229). : E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds., 1992. s. 23.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Object modelling using lambda-calculus for information systems (abstract)
Název anglicky Object modelling using lambda-calculus for information systems (abstract)
Autoři ZLATUŠKA, Jiří.
Vydání Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229), s. 23-23, 1992.
Nakladatel E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds.
Další údaje
Typ výsledku Stať ve sborníku
Utajení není předmětem státního či obchodního tajemství
Změnil Změnila: Irena Hudečková, učo 143565. Změněno: 20. 8. 2004 12:37.
VytisknoutZobrazeno: 26. 5. 2019 03:16