Aplikace resoluční metody pro analýzu programů

Uloženo v:
Podrobná bibliografie
Hlavní autor: Koleňáková, Taťjana (Autor práce)
Další autoři: Sedláček, Václav (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 1984
Témata:
Obálka
LEADER 01963ntm a22004817a 4500
001 MUB01000669548
003 CZ BrMU
005 20110210110032.0
008 110210s1984 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2019-10-21 
040 |a BOD004  |b cze 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.42  |2 MRF 
080 |a 004.43  |2 MRF 
080 |a 004.4/.6  |2 MRF 
100 1 |a Koleňáková, Taťjana  |* [absolvent PřírF MU]  |4 dis 
245 1 0 |a Aplikace resoluční metody pro analýzu programů  |h [rukopis] /  |c Taťjana Koleňáková 
260 |c 1984 
300 |a 41 l. +  |e 1 sv. (počítačová sjetina) 
500 |a Vedoucí práce: Václav Sedláček 
502 |a Diplomová práce (Mgr.)--Universita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1984 
650 0 7 |a programovací jazyky  |7 ph115890  |2 czenas 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 9 |a programming languages  |2 eczenas 
650 0 9 |a programming  |2 eczenas 
655 7 |a diplomové práce  |7 fd132022  |2 czenas 
655 9 |a master's theses  |2 eczenas 
700 1 |a Sedláček, Václav  |7 xx0022391  |4 ths 
710 2 |a Univerzita J.E. Purkyně v Brně.  |b Přírodovědecká fakulta  |7 kn20010709351  |4 dgg 
CAT |a KOSKOVA  |b 02  |c 20110210  |l MUB01  |h 1100 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0145 
CAT |c 20120610  |l MUB01  |h 1354 
CAT |c 20120610  |l MUB01  |h 2021 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1212 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0146 
CAT |c 20191021  |l MUB01  |h 1114 
CAT |c 20210614  |l MUB01  |h 0952 
CAT |c 20210614  |l MUB01  |h 1941 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1203 
LOW |a POSLANO DO SKCR  |b 2019-10-21 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFSK  |b ÚK sklad  |3 K-3665  |5 3145148231  |8 20110210  |a 1986  |f 71  |f Prezenční SKLAD  |q 20180412 
AVA |a SCI50  |b PRIF  |c ÚK sklad  |d K-3665  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFSK