|
|
|
|
| LEADER |
02728nam a22006617a 4500 |
| 001 |
MUB01000529094 |
| 003 |
CZ BrMU |
| 005 |
20181204204926.0 |
| 008 |
071009s2007 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2014-12-05
|
| 020 |
|
|
|a 978-3-540-75143-4
|z 3540751432
|
| 040 |
|
|
|a BOD018
|b cze
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a 16
|2 MRF
|
| 080 |
|
|
|a 161.26
|2 MRF
|
| 080 |
|
|
|a (062.534)
|2 MRF
|
| 111 |
2 |
|
|a International Tbilisi Symposium on Logic, Language, and Computation
|n (6. :
|d 2005 :
|c Batumi, Gruzie)
|7 stk2008421005
|4 aut
|
| 245 |
1 |
0 |
|a Logic, language, and computation :
|b 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers /
|c edited by Balder D. ten Cate, Henk W. Zeevat
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2007
|
| 300 |
|
|
|a xii, 280 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science. Lecture notes in artificial intelligence ;
|v 4363
|
| 650 |
0 |
7 |
|a logika
|7 ph122436
|2 czenas
|
| 650 |
0 |
7 |
|a modalita (logika)
|7 ph294123
|2 czenas
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 650 |
0 |
9 |
|a logic
|2 eczenas
|
| 650 |
0 |
9 |
|a modality (logic)
|2 eczenas
|
| 655 |
|
7 |
|a sborníky konferencí
|7 fd133333
|2 czenas
|
| 700 |
1 |
|
|a Cate, Balder ten,
|d 1979-
|7 stk2008428568
|4 edt
|
| 700 |
1 |
|
|a Zeevat, Henk,
|d 1952-
|7 stk2008428569
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science.
|p Lecture notes in artificial intelligence ;
|v 4363
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20071009
|l MUB01
|h 0826
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20071009
|l MUB01
|h 0826
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1814
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1828
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0157
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1841
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2312
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0334
|
| CAT |
|
|
|a HONIGOVA
|b 02
|c 20110111
|l MUB01
|h 0947
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0107
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0926
|
| CAT |
|
|
|c 20141112
|l MUB01
|h 0950
|
| CAT |
|
|
|c 20141203
|l MUB01
|h 1636
|
| CAT |
|
|
|c 20141205
|l MUB01
|h 1146
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0244
|
| CAT |
|
|
|a FUKSOVAX
|b 02
|c 20150804
|l MUB01
|h 1512
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2303
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1235
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20161121
|l MUB01
|h 0741
|
| CAT |
|
|
|a PTICHAX
|b 02
|c 20181204
|l MUB01
|h 2049
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0927
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1916
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1130
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2014-12-05
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K1158.05
|5 4200513523
|8 20071009
|f 74
|f Měsíční
|r 20071009
|
| AVA |
|
|
|a INF50
|b FI
|d K1158.05
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|
