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
@inproceedings{557008, author = {Zlatuška, Jiří}, booktitle = {Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229)}, pages = {23-23}, publisher = {E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds.}, title = {Object modelling using lambda-calculus for information systems (abstract)}, year = {1992} }
TY - JOUR ID - 557008 AU - Zlatuška, Jiří PY - 1992 TI - Object modelling using lambda-calculus for information systems (abstract) PB - E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds. ER -
ZLATUŠKA, Jiří. Object modelling using lambda-calculus for information systems (abstract). In \textit{Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229)}. E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds., 1992, s.~23.
|