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

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000275xx / 000027579.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-52837-7
ISBN3-540-52837-7 (brož) : bc
MDT681.3.06
HZ-Osobní jménoPlümer, Lutz
Názvové údajeTermination Proofs for Logic Programs
Nakladatel.údajeBerlin : Springer, 1990
Údaje fyz.popisu8, 142 s
Edice-jiná formaLecture Notes in Artificial Intelligence ; 446
Všeobecná pozn.Bibliogr. s. 132-139
VZ-Edice-Unif.náz. Lecture Notes in Artificial Intelligence
Sigla,sign.vlastn.OLA001 584.972
Předmět.heslaProgramování logické
Počet exemplářů1