|
|
|
|
LEADER |
02094nam a22005297a 4500 |
001 |
MUB01000512827 |
003 |
CZ BrMU |
005 |
20181025210023.0 |
008 |
070801s2007 gw ||||| |||||||||||eng d |
STA |
|
|
|a POSLANO DO SKCR
|b 2014-04-16
|
020 |
|
|
|a 978-3-540-73594-6
|z 3540735941
|
040 |
|
|
|a BOD018
|b cze
|
080 |
|
|
|a 004
|2 MRF
|
080 |
|
|
|a (062.534)
|2 MRF
|
111 |
2 |
|
|a International Conference on Automated Deduction
|n (21. :
|d 2007 :
|c Brémy, Německo)
|7 stk2007407099
|4 aut
|
245 |
1 |
0 |
|a Automated deduction - CADE-21
|b 21st International conference on automated deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
|c edited by Frank Pfenning
|
260 |
|
|
|a Berlin :
|b Springer,
|c c2007
|
300 |
|
|
|a xii, 522 s.
|
490 |
1 |
|
|a Lecture notes in artificial intelligence ;
|v 4603
|
650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
650 |
0 |
9 |
|a computer science
|2 eczenas
|
655 |
|
7 |
|a sborníky konferencí
|7 fd133333
|2 czenas
|
700 |
1 |
|
|a Pfenning, Frank
|7 xx0053469
|4 edt
|
830 |
|
0 |
|a Lecture notes in artificial intelligence ;
|v 4603
|
CAT |
|
|
|a KREKOVA
|b 02
|c 20070801
|l MUB01
|h 1215
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1813
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1828
|
CAT |
|
|
|c 20091203
|l MUB01
|h 0153
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1836
|
CAT |
|
|
|c 20101015
|l MUB01
|h 2309
|
CAT |
|
|
|c 20101016
|l MUB01
|h 0332
|
CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0103
|
CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0911
|
CAT |
|
|
|c 20140416
|l MUB01
|h 1204
|
CAT |
|
|
|c 20150404
|l MUB01
|h 0237
|
CAT |
|
|
|a VASICEKX
|b 02
|c 20150513
|l MUB01
|h 1510
|
CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2251
|
CAT |
|
|
|c 20160401
|l MUB01
|h 1235
|
CAT |
|
|
|a VARTECKAX
|b 02
|c 20161101
|l MUB01
|h 0801
|
CAT |
|
|
|a PTICHAX
|b 02
|c 20181025
|l MUB01
|h 2100
|
CAT |
|
|
|c 20210614
|l MUB01
|h 0925
|
CAT |
|
|
|c 20210614
|l MUB01
|h 1915
|
CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1127
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2014-04-16
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K23.07
|5 4200513305
|8 20070801
|f 74
|f Měsíční
|r 20070801
|
AVA |
|
|
|a INF50
|b FI
|d K23.07
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|