Computation and reasoning : a type theory for computer science /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Oxford :
Clarendon Press,
1994
|
| Edice: | Oxford science publications
International series of monographs on computer science ; 11 |
| Témata: |
| LEADER | 02649nam a22006497i 4500 | ||
|---|---|---|---|
| 001 | MUB01006465288 | ||
| 003 | CZ BrMU | ||
| 005 | 20210629111329.0 | ||
| 008 | 200615s1994 xxk||||| |||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2020-09-21 | ||
| 020 | |a 0-19-853835-9 | ||
| 040 | |a BOD001 |b cze |e rda | ||
| 072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
| 080 | |a 007+004 |2 MRF | ||
| 080 | |a 510.22 |2 MRF | ||
| 080 | |a 510.6 |2 MRF | ||
| 080 | |a (035) |2 MRF | ||
| 080 | |a (048.8) |2 MRF | ||
| 100 | 1 | |a Luo, Zhaohui |4 aut | |
| 245 | 1 | 0 | |a Computation and reasoning : |b a type theory for computer science / |c Zhaohui Luo |
| 264 | 1 | |a Oxford : |b Clarendon Press, |c 1994 | |
| 300 | |a xi, 228 stran | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a bez média |b n |2 rdamedia | ||
| 338 | |a svazek |b nc |2 rdacarrier | ||
| 490 | 1 | |a The international series of monographs on computer science ; |v 11 | |
| 490 | 1 | |a Oxford science publications | |
| 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 teorie množin |7 ph126563 |2 czenas |
| 650 | 0 | 7 | |a teorie typů |2 CZ-BrMU |
| 650 | 0 | 9 | |a computer science |2 eczenas |
| 650 | 0 | 9 | |a mathematical logic |2 eczenas |
| 650 | 0 | 9 | |a set theory |2 eczenas |
| 650 | 0 | 9 | |a type theory |2 eCZ-BrMU |
| 655 | 7 | |a monografie |7 fd132842 |2 czenas | |
| 655 | 7 | |a příručky |7 fd133209 |2 czenas | |
| 655 | 9 | |a monographs |2 eczenas | |
| 655 | 9 | |a handbooks and manuals |2 eczenas | |
| 830 | 0 | |a Oxford science publications | |
| 830 | 0 | |a International series of monographs on computer science ; |v 11 | |
| CAT | |a CHLADILOVA |b 02 |c 20200615 |l MUB01 |h 1225 | ||
| CAT | |a SVOBODOVA |b 02 |c 20200616 |l MUB01 |h 1100 | ||
| CAT | |a SVOBODOVA |b 02 |c 20200616 |l MUB01 |h 1100 | ||
| CAT | |a BART |b 02 |c 20200617 |l MUB01 |h 1014 | ||
| CAT | |c 20200921 |l MUB01 |h 1102 | ||
| CAT | |c 20210614 |l MUB01 |h 1037 | ||
| CAT | |c 20210614 |l MUB01 |h 2023 | ||
| CAT | |a HOLOUBKOVA |b 02 |c 20210617 |l MUB01 |h 1523 | ||
| CAT | |a PTICHA |b 02 |c 20210623 |l MUB01 |h 0821 | ||
| CAT | |a HOLOUBKOVA |b 02 |c 20210629 |l MUB01 |h 1113 | ||
| M54 | |a 004 | ||
| LOW | |a POSLANO DO SKCR |b 2020-09-21 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m BOOK |1 FF |a FF - ustredni knihovna |2 VYBER |b volný výběr |3 004-LUO1-1 |5 2572003451 |4 *--Zakázka 2387 |7 Dotisk, 2002 |8 20200615 |f 74 |f Měsíční |r 20200615 |s grant1100 |
| 994 | - | 1 | |l MUB01 |l MUB01 |m BOOK |1 FF |a FF - ustredni knihovna |2 VYBER |b volný výběr |3 filozofie-RACL |5 2572103915 |4 Zakázka 2387 |7 Dotisk, 2002 |8 20210616 |f 77 |f Dlouhodobá |r 20210616 |s grant1100 |
| AVA | |a FIL50 |b FF |c volný výběr |d filozofie-RACL |e available |t K dispozici |f 2 |g 1 |h N |i 1 |j VYBER | ||