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

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000277xx / 000027755.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
ISBN3-540-55034-8 (brož) : 581.70
MDT517.98
HZ-Osobní jménoBürckert, H. J.
Názvové údajeA Resolution Principle for a Logic with Restricted Quantifiers
Nakladatel.údajeBerlin : Springer, 1991
Údaje fyz.popisu10, 116 s
Edice-jiná formaLecture Notes in Artificial Intelligence ; Vol. 568
Všeobecná pozn.Bibliogr. s. 101-109
VZ-Edice-Unif.náz. Lecture Notes in Artificial Intelligence
Sigla,sign.vlastn.OLA001 585.152
Předmět.heslaKvantifikátory omezené logika
Počet exemplářů1