|
|
|
|
| LEADER |
01533nam a2200409 a 4500 |
| 001 |
000262351 |
| 003 |
CZ BrMZK |
| 005 |
20210420163354.0 |
| 007 |
ta |
| 008 |
980115s1997 xr e p 0 cze d |
| 015 |
|
|
|a cnb000304708
|
| 020 |
|
|
|a 80-7042-745-0
|
| 035 |
|
|
|a (OCoLC)40091647
|
| 040 |
|
|
|a BOA001
|b cze
|
| 072 |
|
7 |
|a 16
|x Logika
|2 Konspekt
|9 5
|
| 072 |
|
7 |
|a 37.016
|x Učební osnovy. Vyučovací předměty. Učebnice
|2 Konspekt
|9 22
|
| 080 |
|
|
|a 004.8
|2 MRF
|
| 080 |
|
|
|a 164
|2 MRF
|
| 080 |
|
|
|a 164.23.08:162
|2 MRF
|
| 080 |
|
|
|a (075.8)
|2 MRF
|
| 100 |
1 |
|
|a Lukasová, Alena,
|d 1936-
|7 jo20000072414
|4 aut
|
| 245 |
1 |
0 |
|a Logické základy umělé inteligence.
|n 2,
|p Formalizace a automatizace dedukce /
|c Alena Lukasová
|
| 246 |
3 |
0 |
|a Formalizace a automatizace dedukce
|
| 250 |
|
|
|a Vyd. 1.
|
| 260 |
|
|
|a Ostrava :
|b Ostravská univerzita,
|c 1997
|
| 300 |
|
|
|a 163 s. ;
|c 30 cm
|
| 490 |
1 |
|
|a Učební texty Ostravské univerzity
|
| 500 |
|
|
|a Určeno stud. učit. i neučit. studia informatiky. - Bibliogr.
|
| 650 |
0 |
7 |
|a umělá inteligence
|7 ph116536
|2 czenas
|
| 650 |
0 |
7 |
|a formální logika
|7 ph120290
|2 czenas
|
| 650 |
0 |
7 |
|a formální dedukce
|7 ph120289
|2 czenas
|
| 655 |
|
7 |
|a učebnice vysokých škol
|7 fd133772
|2 czenas
|
| 710 |
2 |
|
|a Ostravská univerzita.
|b Přírodovědecká fakulta
|7 kn20010709316
|
| 810 |
2 |
|
|a Ostravská univerzita.
|t Učební texty
|0 s
|
| 910 |
|
|
|a BOA001
|b 4-1014.461,2
|
| 990 |
|
|
|a BK
|
| 996 |
7 |
|
|b 2610062691
|c 4-1014.461,2
|l MZK
|r Sklad / do 1 hodiny
|n 13
|p p.v.
|w 000262351
|u 000010
|a 1
|e BOA001
|j MZK50
|s A
|
English 
Čeština 
