|
|
|
|
| LEADER |
02379cam a22004817a 4500 |
| 001 |
MUB01000449791 |
| 003 |
CZ BrMU |
| 005 |
20160926073138.0 |
| 008 |
060316s2005 xxu||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2012-02-24
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD114
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a (063)
|2 MRF
|
| 111 |
2 |
|
|a ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
|n (3. :
|d 2005 :
|c Tallinn, Estonsko)
|4 aut
|
| 245 |
1 |
0 |
|a MERLIN '05 :
|b proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia /
|c A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN).
|
| 246 |
3 |
0 |
|a Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
|
| 246 |
3 |
0 |
|a ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
|
| 246 |
3 |
0 |
|a Mechanized Reasoning about Languages with Variable Binding
|
| 260 |
|
|
|a New York, NY :
|b Association for Computing Machinery,
|c c2005
|
| 300 |
|
|
|a vii, 64 s.
|
| 500 |
|
|
|a "... held in association with the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), on August 30th, 2005 in Tallinn, Estonia"--s. iii
|
| 500 |
|
|
|a "ACM order number 565058"--s. ii
|
| 700 |
1 |
|
|a Momigliano, Alberto
|4 edt
|
| 700 |
1 |
|
|a Pollack, R.
|q (Randy)
|4 edt
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20060316
|l MUB01
|h 0937
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2154
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080213
|l MUB01
|h 0600
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1812
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1826
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0119
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1758
|
| CAT |
|
|
|a HANAV
|b 02
|c 20100413
|l MUB01
|h 1014
|
| CAT |
|
|
|a HANAV
|b 02
|c 20111112
|l MUB01
|h 2229
|
| CAT |
|
|
|c 20120224
|l MUB01
|h 1451
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0719
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 1059
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1233
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20160926
|l MUB01
|h 0731
|
| CAT |
|
|
|c 20200810
|l MUB01
|h 1721
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2012-02-24
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K1003.05
|5 4200511767
|8 20060316
|f 74
|f Měsíční
|r 20060316
|
| AVA |
|
|
|a INF50
|b FI
|d K1003.05
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|
