Formální logika v umělé inteligenci
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ě … celý popis
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- 269 s. : il. ; 22 cm
- Vydáno
-
Brno :
Computer Press,
2003
- Vydání
- Vyd. 1
- Témata
- Bibliografie
- Obsahuje bibliografii a rejstřík.
- ISBN
- 80-251-0023-5
Instituce
- Česká národní banka - odborná knihovna
- Jihočeská vědecká knihovna v Českých Budějovicích
- Knihovna Bedřicha Beneše Buchlovana Uherské Hradiště (aktuální záznam)
- Knihovna města Hradce Králové
- Knihovna Ústeckého kraje
- Krajská knihovna Františka Bartoše ve Zlíně
- Krajská knihovna Karlovy Vary
- Krajská knihovna Vysočiny
- Krajská vědecká knihovna v Liberci
- Městská knihovna Benešov
- Městská knihovna Česká Lípa
- Městská knihovna Hodonín
- Městská knihovna v Praze
- Městská knihovna v Třebíči
- Moravská zemská knihovna v Brně
- Moravskoslezská vědecká knihovna v Ostravě
- Národní knihovna ČR
- Národní technická knihovna
- Regionální knihovna Karviná
- Souborný katalog ČR
- Středočeská knihovna v Kladně
- Studijní a vědecká knihovna Plzeňského kraje
- Studijní a vědecká knihovna v Hradci Králové
- Univerzita Palackého v Olomouci
- Vědecká knihovna v Olomouci
- Vysoká škola ekonomická v Praze