Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027755
Navigace: https://aleph.vkol.cz/pub / svk01 / 00002xxxx / 0000277xx / 000027755.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
ISBN | 3-540-55034-8 (brož) : 581.70 |
MDT | 517.98 |
HZ-Osobní jméno | Bürckert, H. J. |
Názvové údaje | A Resolution Principle for a Logic with Restricted Quantifiers |
Nakladatel.údaje | Berlin : Springer, 1991 |
Údaje fyz.popisu | 10, 116 s |
Edice-jiná forma | Lecture 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.hesla | Kvantifikátory omezené logika |
Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.