|
|
|
|
LEADER |
02306nam a22006137a 4500 |
001 |
MUB01000151208 |
003 |
CZ BrMU |
005 |
20230329093704.0 |
008 |
950424s1991 xxk||||| |||||||||||eng|d |
STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
020 |
|
|
|a 0-262-12156-5
|
040 |
|
|
|a BOD018
|b cze
|
072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
080 |
|
|
|a 16
|2 MRF
|
080 |
|
|
|a 004
|2 MRF
|
245 |
0 |
0 |
|a Computational Logic :
|b Essays in Honor of Alan Robinson /
|c edited by Jean-Louis Lassez and Gordon Plotkin.
|
260 |
|
|
|a Cambridge :
|b Massachusetts Institute of Technology,
|c 1991.
|
300 |
|
|
|a 727 s., obr., tab.
|
504 |
|
|
|a Bibliogr. na konci kap.
|
650 |
0 |
7 |
|a logika
|7 ph122436
|2 czenas
|
650 |
0 |
7 |
|a výpočetní technika
|7 ph137273
|2 czenas
|
650 |
0 |
9 |
|a logic
|z theory
|2 eczenas
|
650 |
0 |
9 |
|a computer science
|2 eczenas
|
655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
655 |
|
9 |
|a monographs
|2 eczenas
|
700 |
1 |
|
|a Lassez, Jean-Louis
|4 edt
|
700 |
1 |
|
|a Plotkin, G.
|q (Gordon),
|d 1946-
|7 ntk20221155537
|4 edt
|
CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1745
|
CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1743
|
CAT |
|
|
|c 20050122
|l MUB01
|h 1222
|
CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2122
|
CAT |
|
|
|c 20070427
|l MUB01
|h 2114
|
CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0632
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1804
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1819
|
CAT |
|
|
|c 20080602
|l MUB01
|h 1116
|
CAT |
|
|
|c 20080604
|l MUB01
|h 0952
|
CAT |
|
|
|c 20081212
|l MUB01
|h 0945
|
CAT |
|
|
|c 20081212
|l MUB01
|h 1055
|
CAT |
|
|
|c 20090622
|l MUB01
|h 0745
|
CAT |
|
|
|c 20091202
|l MUB01
|h 2153
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1429
|
CAT |
|
|
|a PUTNOVAX
|b 02
|c 20120828
|l MUB01
|h 0811
|
CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1704
|
CAT |
|
|
|c 20150403
|l MUB01
|h 1946
|
CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0456
|
CAT |
|
|
|a VACOVAX
|b 02
|c 20220707
|l MUB01
|h 1040
|
CAT |
|
|
|a VACOVAX
|b 02
|c 20220707
|l MUB01
|h 1041
|
CAT |
|
|
|a VESELA
|b 02
|c 20230329
|l MUB01
|h 0932
|
CAT |
|
|
|a VESELA
|b 02
|c 20230329
|l MUB01
|h 0937
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 L47
|5 4200501328
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
AVA |
|
|
|a INF50
|b FI
|d L47
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|