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. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

Číslo nár.bibliogr.80-251-0023-5 (brož.) : Kč 199,00
072 716 Logika
080 004.82
080 164
080 164.1
080 164.2
080 (035)
Všeob.údaje zprac.Lukasová, Alena, 1936-
24510Formální logika v umělé inteligenci / Alena Lukasová
250 Vyd. 1.
260 Brno : Computer Press, 2003
Obecné poznámkyix, 269 s. : il. ; 23 cm
504 Obsahuje bibliografii a rejstřík
65007formální logika
65007výroková logika
65007predikátová logika
65007znalostní systémy
65009formal logic
65009propositional calculus
65009predicate calculus
65009knowledge-based systems
655 7příručky
655 9handbooks and manuals
Externí soubor (obrázek, hyperlink...)Digitalizovaný dokument
Údaj agentury ISBN9788025100233 1. vyd. 20031127
Sigla,sign.vlastn.OLA001 1-144.324
EXE 2
Vydáno sev.Mor.e-xr-jm