Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3151204 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Formální logika v umělé inteligenci
Autor: Lukasová, Alena
Rok: 2003
ISBN: 9788025100233
NKP-CNB: cnb001290614
OCLC Number: (OCoLC)56848957
OKCZID: 110016436
Půjčte si tento titul v knihovně přes portál Knihovny.cz
Citace (dle ČSN ISO 690):
LUKASOVÁ, Alena. Formální logika v umělé inteligenci. Vyd. 1. Brno: Computer Press, 2003. ix, 269 s.
Digitální objekty
Anotace
Učebnicová struktura textu, tj. stručný výklad, definice a příklady, zcela jasně odráží autorčin záměr nábídnout studentské veřejnosti standardní, ale přitom živý nástroj k výuce formální logiky. Ústředním tématem knihy je postihnutí vzájemného vztahu mezi oblastí rozvoje umělé inteligence a jazykem logiky, tj. v tomto případě reprezentací znalostí formálně logickými prostředky.
Zdroj anotace: Městská knihovna v Praze
