Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000693815
Navigace: https://aleph.vkol.cz/pub / svk01 / 00069xxxx / 0006938xx / 000693815.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.
Číslo nár.bibliogr. | 80-251-0023-5 (brož.) : Kč 199,00 |
072 7 | 16 Logika |
080 | 004.82 |
080 | 164 |
080 | 164.1 |
080 | 164.2 |
080 | (035) |
Všeob.údaje zprac. | Lukasová, Alena, 1936- |
24510 | Formální logika v umělé inteligenci / Alena Lukasová |
250 | Vyd. 1. |
260 | Brno : Computer Press, 2003 |
Obecné poznámky | ix, 269 s. : il. ; 23 cm |
504 | Obsahuje bibliografii a rejstřík |
65007 | formální logika |
65007 | výroková logika |
65007 | predikátová logika |
65007 | znalostní systémy |
65009 | formal logic |
65009 | propositional calculus |
65009 | predicate calculus |
65009 | knowledge-based systems |
655 7 | příručky |
655 9 | handbooks and manuals |
Externí soubor (obrázek, hyperlink...) | Digitalizovaný dokument |
Údaj agentury ISBN | 9788025100233 1. vyd. 20031127 |
Sigla,sign.vlastn. | OLA001 1-144.324 |
EXE | 2 |
Vydáno sev.Mor. | e-xr-jm |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.