Přeskočit na obsah

Obálka není k dispozici

Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce

Věcné třídění

Bibliografické údaje

Další název
Formalizace a automatizace dedukce
Vydáno
2002
Místo vydání
Ostrava
Pořadí vydání
2
Poznámka k vydání
2., přeprac. vyd.
Jazyk
Čeština

Vydání

  • Formát: Tištěná kniha
    Brožovaná vazba

    ISBN 978-80-7042-826-9 (brož.)

    Vydáno:

    Typ obsahu
    Text
    Rozsah
    168 Strany
    Skladba produktu
    Jednosložkový maloobchodní produkt
    Stav vydání
    Neurčeno

Obsahy

Významná vlastnost

V publikaci uvedeno: Ostrava : Ostravská univerzita, Přírodovědecká fakulta

Významná vlastnost

80 výt.

Doporučení

Obsahuje bibliografii

Související tituly

Od stejného autora

Zobrazit vše
Formální logika a sémantický web

Západočeská univerzita v Plzni

2019

Formální logika a sémantický web

Západočeská univerzita v Plzni

2015

Formální reprezentace znalostí

Ostravská univerzita

2010

Logika pro učitele II

Ostravská univerzita

2003

Od stejného nakladatele

Zobrazit vše