Proceedings ... annual IEEE Symposium on Logic in Computer Science

Uloženo v:
Podrobná bibliografie
Korporativní autor: IEEE Symposium on Logic in Computer Science (Autor)
Typ dokumentu: Periodikum
Jazyk:Angličtina
Vydáno: Los Alamitos, Calif. : IEEE Computer Society Press, [1986?]-
Témata:
LEADER 03594cas a22008657a 4500
001 MUB01000376387
003 CZ BrMU
005 20230327163345.0
008 800523c19869999xxuar||| |||||||||||eng|d
022 |a 1043-6871 
040 |a BOD004  |b cze  |d BOD114 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a 004  |2 MRF 
080 |a (062.534)  |2 MRF 
080 |a 510  |2 MRF 
111 2 |a IEEE Symposium on Logic in Computer Science  |4 aut 
245 1 0 |a Proceedings ... annual IEEE Symposium on Logic in Computer Science 
260 |a Los Alamitos, Calif. :  |b IEEE Computer Society Press,  |c [1986?]- 
300 |a ^^^sv. 
310 |a 1x ročně 
500 |a Popsáno podle: r. 1991 
500 |a Jednotlivé sv. mají ISBN 
500 |a Součástí názvu je označení roku 
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 9 |a computer science  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a proceedings of conferences  |2 eczenas 
710 2 |a IEEE Computer Society  |7 stk2009457982  |4 pbl 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1332 
CAT |c 20050122  |l MUB01  |h 1259 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2155 
CAT |c 20070427  |l MUB01  |h 2144 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0724 
CAT |c 20080429  |l MUB01  |h 1810 
CAT |c 20080429  |l MUB01  |h 1824 
CAT |c 20080602  |l MUB01  |h 1122 
CAT |c 20080604  |l MUB01  |h 0957 
CAT |c 20081212  |l MUB01  |h 0948 
CAT |c 20081212  |l MUB01  |h 1058 
CAT |c 20091203  |l MUB01  |h 0042 
CAT |c 20091203  |l MUB01  |h 1722 
CAT |c 20100224  |l MUB01  |h 0950 
CAT |a JANA  |b 02  |c 20110418  |l MUB01  |h 1535 
CAT |a HANAV  |b 02  |c 20110420  |l MUB01  |h 0955 
CAT |a HANAV  |b 02  |c 20110502  |l MUB01  |h 0934 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0023 
CAT |c 20120610  |l MUB01  |h 1732 
CAT |a POSPEL  |b 02  |c 20120718  |l MUB01  |h 1153 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0403 
CAT |c 20150403  |l MUB01  |h 2256 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0937 
CAT |c 20160401  |l MUB01  |h 1232 
CAT |a HANAV  |b 02  |c 20210503  |l MUB01  |h 2332 
CAT |c 20210614  |l MUB01  |h 0900 
CAT |c 20210614  |l MUB01  |h 1851 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1050 
CAT |a DRIMLOVA  |b 02  |c 20230327  |l MUB01  |h 1633 
CAT |a DRIMLOVA  |b 02  |c 20230327  |l MUB01  |h 1633 
902 |a 0-8186-2230-X  |q (1991) 
902 |a 0-8186-2735-2  |q (1992) 
902 |a 0-8186-3140-6  |q (1993) 
902 |a 0-8186-7050-9  |q (1995) 
902 |a 0-8186-7925-5  |q (1997) 
902 |a 0-8186-8506-9  |q (1998) 
902 |a 978-0-7695-2631-7  |q (2006)  |z 0769526314  |q (2006) 
994 - 2 |l MUB01  |l MUB01  |m ISSBD  |1 FI  |a Fakulta informatiky  |3 K82.06  |5 4200515381  |8 20090825  |a 2006  |b 2006  |f 74  |f Měsíční  |h 2006  |l 4200515381  |r 20090825  |s dar 
994 - 2 |l MUB01  |l MUB01  |m ISSBD  |1 FI  |a Fakulta informatiky  |3 K82.95  |5 4200502114  |8 20040328  |a 1995  |b 1995  |f 74  |f Měsíční  |h 1995  |l 4200502114  |r 00000001 
994 - 2 |l MUB01  |l MUB01  |m ISSBD  |1 FI  |a Fakulta informatiky  |3 K82.97  |5 4200505550  |8 20040328  |a 1997  |b 1997  |f 74  |f Měsíční  |h 1997  |l 4200505550  |r 00000001 
994 - 2 |l MUB01  |l MUB01  |m ISSBD  |1 FI  |a Fakulta informatiky  |3 K82.98  |5 4200504980  |8 20040328  |a 1998  |b 1998  |f 77  |f Dlouhodobá  |h 1998  |l 4200504980  |r 00000001 
994 - 2 |l MUB01  |l MUB01  |m ISSBD  |1 FI  |a Fakulta informatiky  |3 K82.98  |5 4200505551  |8 20040328  |a 1998  |b 1998  |f 74  |f Měsíční  |h 1998  |l 4200505551  |r 00000001 
AVA |a INF50  |b FI  |d K82.98  |e available  |t K dispozici  |f 5  |g 0  |h Y  |i 2