ReČeK

Externí odkazy

Hledat v Souborném katalogu ČRHledat na Knihovny.cz

Formalizace a automatizace dedukce

Lukasová AlenaautorAutoritní záznam NK ČR

Věcné třídění

Bibliografické údaje

Vydáno
2002
Jazyk
Čeština

Vydání

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

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

    Vydáno:

Související tituly

Od stejného autora

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

Formální logika v umělé inteligenci

Albatros

2003

Logika pro učitele I

Ostravská univerzita

2003

Logika pro učitele II

Ostravská univerzita

2003

Od stejného nakladatele

Atlas základních histopatologických nálezů

Ostravská univerzita

2026

Po cy ty

Ostravská univerzita

2026

Hematologie pro bakalářské studijní obory II

Ostravská univerzita

2026

Základy anesteziologie a intenzivní medicíny pro studenty všeobecného lékařství

Ostravská univerzita

2025

Od obelisku k střídmosti

Ostravská univerzita

2025

Milostné písně

Ostravská univerzita

2025