Katalog Moravskoslezské vědecké knihovny v Ostravě

Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 22.08.2020. Zobrazit aktuální podobu v katalogu.

Formát Kniha Hlavní záhlaví Lukasová, Alena, 1936- Název Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce / Alena Lukasová Vydání Vyd. 1. Nakl. údaje V Ostravě : Ostravská univerzita, 1997 Popis (rozsah) 163 s. EXEMPLÁŘE Všechny jednotky ISBN 80-7042-745-0 Varianta názvu Formalizace a automatizace dedukce Další korporace Ostravská univerzita. Přírodovědecká fakulta Poznámka Bibliografie na s. 162-163 Číslo nár. bibl. cnb000304708 Předmět. heslo Důkazy (logika) - učebnice vysokošk. Logika klauzulární - učebnice vysokošk. Heslo MSVK dedukce důkazy (logika) klauzulární logika umělá inteligence Forma, žánr * učebnice vysokých škol MDT 007 16 Systém. číslo 000168209

© 2005-2020 Ex Libris, Moravskoslezská vědecká knihovna v Ostravě