Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000051222
Navigace: https://aleph.vkol.cz/pub / svk01 / 00005xxxx / 0000512xx / 000051222.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
ISBN | 3-540-56517-5 (brož) : bc |
MDT | 510.56:510.644(082) |
MDT | 510.644:510.56(082) |
Názvové údaje | Typed Lambda Calculi and Applications : Internat. Conf. on TLCA '93 : Proceedings / Ed. Marc Bezem, Jan Friso Groote |
Nakladatel.údaje | Berlin : Springer, 1993 |
Údaje fyz.popisu | 8, 432 s |
Edice-jiná forma | Lecture Notes in Computer Science ; 664 |
Všeobecná pozn. | Bibliogr. na konci kapitol |
VZ-Osobní jm. | Bezem, Marc |
VZ-Osobní jm. | Groote, J. F. (Jan Frisco), 1965- |
VZ-Edice-Unif.náz. | Lecture Notes in Computer Science |
Sigla,sign.vlastn. | OLA001 591.634 |
Předmět.hesla | Kalkuly sborníky z konferencí |
Předmět.hesla | Lambda-výpočet aplikace sborníky z konferencí |
Předmět.hesla | Logika vícehodnotová Lambda systém sborníky z konferencí |
Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.