Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027519

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000275xx / 000027519.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

obálka/obal
ISBN0-387-52335-9
ISBN3-540-52335-9 (brož) : bc
MDT681.3:164(082)
Názvové údajeColog-88 : Proceedings. Internat. Conf. on Computer Logic / Eds. Per Martin-Löf, Grigori Mints
Nakladatel.údajeBerlin : Springer, 1990
Údaje fyz.popisu6, 338 s
Edice-jiná formaLecture Notes in Computer Science ; 417
Všeobecná pozn.Bibliogr. na konci kapitol
Všeobecná pozn.Rozmn
VZ-Osobní jm.Martin-Löf, Per
VZ-Osobní jm.Mints, Grigori
VZ-Edice-Unif.náz. Lecture Notes in Computer Science
Sigla,sign.vlastn.OLA001 584.912
Předmět.heslaLogika počítačová sborníky z konferencí
Počet exemplářů1