Type theory and functional programming /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Thompson, Simon G. (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Wokingham : Addison-Wesley Publishing Company, 1991.
Edice:International computer science series
Témata:
LEADER 02742cam a22006857a 4500
001 MUB01000388180
003 CZ BrMU
005 20090730081808.0
008 951027s1991 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2010-02-25 
020 |a 0-201-41667-0 
040 |a BOD004  |b cze 
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 519.7  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 519  |2 MRF 
100 1 |a Thompson, Simon G.  |7 xx0044996  |4 aut 
245 1 0 |a Type theory and functional programming /  |c Simon Thompson ; University of Kent at Canterbury. 
260 |a Wokingham :  |b Addison-Wesley Publishing Company,  |c 1991. 
300 |a xv, 372 s. 
490 1 |a International computer science series 
650 0 7 |a matematická kybernetika  |7 ph122669  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical cybernetics  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
710 2 |a University of Kent at Canterbury  |7 ko2003186504  |4 pbl 
830 0 |a International computer science series 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1333 
CAT |c 20050122  |l MUB01  |h 1301 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2156 
CAT |c 20070427  |l MUB01  |h 2146 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0732 
CAT |c 20080429  |l MUB01  |h 1810 
CAT |c 20080429  |l MUB01  |h 1825 
CAT |c 20080602  |l MUB01  |h 1123 
CAT |c 20080604  |l MUB01  |h 0958 
CAT |c 20081212  |l MUB01  |h 0948 
CAT |c 20081212  |l MUB01  |h 1058 
CAT |a ZITTERBART  |b 02  |c 20090730  |l MUB01  |h 0818 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0505 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0027 
CAT |c 20091203  |l MUB01  |h 0050 
CAT |c 20091203  |l MUB01  |h 1728 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0658 
CAT |c 20100225  |l MUB01  |h 0922 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1016 
CAT |c 20101015  |l MUB01  |h 2233 
CAT |c 20101016  |l MUB01  |h 0247 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0027 
CAT |c 20120610  |l MUB01  |h 1740 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0427 
CAT |c 20150403  |l MUB01  |h 2302 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0949 
CAT |c 20161008  |l MUB01  |h 2234 
CAT |c 20210614  |l MUB01  |h 0902 
CAT |c 20210614  |l MUB01  |h 1852 
LOW |a POSLANO DO SKCR  |b 2010-02-25 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFST  |b ÚK volný výběr  |3 519.7-THOM  |5 3145003323  |4 PČ: 671-93, DPČ: 102-93, matematika  |8 20041229  |f 74  |f Měsíční  |q 20180727  |r 00000001 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 519.7-THOM  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 2  |j PRFST