|
|
|
|
| LEADER |
02746cam a22007337a 4500 |
| 001 |
MUB01000157387 |
| 003 |
CZ BrMU |
| 005 |
20250314111812.0 |
| 008 |
990909s1994 xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 020 |
|
|
|a 0-19-853769-7
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD018
|
| 072 |
|
7 |
|a 519.1/.8
|x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 16
|2 MRF
|
| 080 |
|
|
|a 519.7
|2 MRF
|
| 080 |
|
|
|a 510.6
|2 MRF
|
| 080 |
|
|
|a 519
|2 MRF
|
| 080 |
|
|
|a 164
|2 MRF
|
| 100 |
1 |
|
|a Gabbay, Dov M.,
|d 1945-
|7 kup19980000029813
|4 aut
|
| 245 |
1 |
0 |
|a Temporal logics :
|b mathematical foundations and computational aspects.
|n Vol. 1 /
|c Dov. M. Gabbay, Ian Hodkinson and Mark Reynolds
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press,
|c c1994
|
| 300 |
|
|
|a xiv, 653 s.
|
| 490 |
1 |
|
|a Oxford Logic Guides
|
| 650 |
0 |
7 |
|a logika
|7 ph122436
|2 czenas
|
| 650 |
0 |
7 |
|a matematická logika
|7 ph122671
|2 czenas
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
7 |
|a formální logika
|7 ph120290
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 650 |
0 |
9 |
|a formal logic
|2 eczenas
|
| 650 |
0 |
9 |
|a logic
|2 eczenas
|
| 650 |
0 |
9 |
|a mathematical logic
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| 700 |
1 |
|
|a Hodkinson, Ian
|7 mub20181007779
|4 aut
|
| 700 |
1 |
|
|a Reynolds, Mark C.
|4 aut
|
| 830 |
|
0 |
|a Oxford Logic Guides
|
| CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1748
|
| CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1743
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1223
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2123
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2115
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0634
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1804
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1819
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1117
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0952
|
| CAT |
|
|
|c 20090622
|l MUB01
|h 0750
|
| CAT |
|
|
|c 20091202
|l MUB01
|h 2156
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1433
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 0727
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20100819
|l MUB01
|h 1326
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2115
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0131
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1712
|
| CAT |
|
|
|a HONIGOVAX
|b 02
|c 20140312
|l MUB01
|h 1522
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 1952
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0503
|
| CAT |
|
|
|a JIRASKOVAX
|b 02
|c 20180925
|l MUB01
|h 2201
|
| CAT |
|
|
|a VESELAX
|b 02
|c 20250314
|l MUB01
|h 1116
|
| CAT |
|
|
|a VESELAX
|b 02
|c 20250314
|l MUB01
|h 1118
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 R191
|5 4200505483
|8 20040328
|f 77
|f Dlouhodobá
|r 00000001
|
| AVA |
|
|
|a INF50
|b FI
|d R191
|e unavailable
|t Není k dispozici
|f 1
|g 1
|h N
|i 0
|
