Rozhodování pravdivosti ve VDP

Uloženo v:
Podrobná bibliografie
Hlavní autor: Strouhal, Luděk (Autor práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 1985
Témata:
Obálka
LEADER 01804ntm a22004577a 4500
001 MUB01000671919
003 CZ BrMU
005 20110715092732.0
008 110309s1985 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2019-11-27 
040 |a BOD004  |b cze 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a 510.5  |2 MRF 
080 |a 510  |2 MRF 
100 1 |a Strouhal, Luděk  |* [absolvent PřírF MU]  |4 dis 
245 1 0 |a Rozhodování pravdivosti ve VDP  |h [rukopis] /  |c Luděk Strouhal 
260 |c 1985 
300 |a 41 l., [24] l. příl. 
502 |a Diplomová práce (Mgr.)--Univerzita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1985 
650 0 7 |a algoritmy  |7 ph114026  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a algorithms  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
655 7 |a diplomové práce  |7 fd132022  |2 czenas 
655 9 |a master's theses  |2 eczenas 
710 2 |a Univerzita J.E. Purkyně v Brně.  |b Přírodovědecká fakulta  |7 kn20010709351  |4 dgg 
CAT |a KOSKOVA  |b 02  |c 20110309  |l MUB01  |h 0855 
CAT |a KOSKOVA  |b 02  |c 20110715  |l MUB01  |h 0927 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0146 
CAT |c 20120610  |l MUB01  |h 2022 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1217 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0148 
CAT |c 20191127  |l MUB01  |h 1410 
CAT |c 20210614  |l MUB01  |h 0952 
CAT |c 20210614  |l MUB01  |h 1941 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1204 
LOW |a POSLANO DO SKCR  |b 2019-11-27 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFSK  |b ÚK sklad  |3 K-3707  |5 3145148272  |8 20110309  |a 1986  |f 71  |f Prezenční SKLAD  |q 20180412 
AVA |a SCI50  |b PRIF  |c ÚK sklad  |d K-3707  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFSK