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

Navigace: https://aleph.vkol.cz/pub / svk01 / 00005xxxx / 0000512xx / 000051269.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.

ISBN3-540-56944-8 (brož) : bc
MDT519.68:681.3.061(082)
MDT681.3.061:519.68(082)
Názvové údajeLogic Programming and Automated Reasoning : 4. Internat. Conf., LPAR '93 : Proceedings / Ed. Andrej Voronkov
Nakladatel.údajeBerlin : Springer, 1993
Údaje fyz.popisu13, 386 s
Edice-jiná formaLecture Notes in Artificial Intelligence ; 698
Všeobecná pozn.Bibliogr. na konci kapitol
VZ-Osobní jm.Voronkov, Andrej
VZ-Edice-Unif.náz. Lecture Notes in Artificial Intelligence
Sigla,sign.vlastn.OLA001 591.672
Předmět.heslaLogika počítačová sborníky z konferencí
Předmět.heslaProgramování logické sborníky z konferencí
Počet exemplářů1