Přeskočit na obsah
Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce — obálka

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

Věcné třídění

Bibliografické údaje

Neurčeno
Formalizace a automatizace dedukce
Vydáno
1997
Místo vydání
Ostrava
Vydání
Vyd. 1.
Jazyk
Čeština
Edice
Učební texty Ostravské univerzity

Vydání

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

    978-80-7042-745-3 (brož.)

    Vydáno:

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

Obsahy

Významná vlastnost

300 výt.

Doporučení

Bibliografie na s. 162-163.

Významná vlastnost

V publikaci uvedeno: Ostrava : Ostravská univerzita

Související tituly

Od stejného autora

Formální logika a sémantický web — obálka
Formální logika a sémantický web

Západočeská univerzita v Plzni

2019

Formální logika a sémantický web — obálka
Formální logika a sémantický web

Západočeská univerzita v Plzni

2015

Formální reprezentace znalostí — obálka
Formální reprezentace znalostí

Ostravská univerzita

2010

Logika pro učitele I — obálka
Logika pro učitele I

Ostravská univerzita

2003

Logika pro učitele II — obálka
Logika pro učitele II

Ostravská univerzita

2003

Od stejného nakladatele

Po cy ty — obálka
Po cy ty

Ostravská univerzita

2026

Via eruditionis — obálka
Via eruditionis

Ostravská univerzita

2025

Hudební rozmanitosti — obálka
Hudební rozmanitosti

Ostravská univerzita

2025