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

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000276xx / 000027676.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-54333-3 (brož) : 581.70
MDT510.6
HZ-Osobní jménoWilliams, James G
Názvové údajeInstantiation Theory : On the Foundations of Automated Deduction
Nakladatel.údajeBerlin : Springer, 1991
Údaje fyz.popisu8, 133 s
Edice-jiná formaLecture Notes in Artificial Intelligence ; 518
Všeobecná pozn.Bibliogr. s. 128 - 133
VZ-Edice-Unif.náz. Lecture Notes in Artificial Intelligence
Sigla,sign.vlastn.OLA001 585.066
Předmět.heslaInteligence umělá systémy deduktivní
Předmět.heslaSystémy deduktivní teorie instancí
Předmět.heslaTeorie instancí
Počet exemplářů1