Handbook of logic in computer science. Vol. 1, Background: mathematical structures /

Uloženo v:
Podrobná bibliografie
Další autoři: Abramsky, Samson, 1953- (Editor), Gabbay, Dov M., 1945- (Editor), Maibaum, Thomas S. E., 1947- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Oxford : The Clarendon Press, 1992
Témata:
matematická logika
počítačová věda
computer science
mathematical logic
kolektivní monografie
collective monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 03171cam a22007097a 4500
001 MUB01000357084
003 CZ BrMU
005 20250120112436.0
008 940420s1992 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2010-02-09 
020 |a 0-19-853735-2 
040 |a BOD004  |b cze  |d BOD004 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 510.6  |2 MRF 
080 |a 004  |2 MRF 
080 |a (048.8:082)  |2 MRF 
245 0 0 |a Handbook of logic in computer science.  |n Vol. 1,  |p Background: mathematical structures /  |c edited by S. Abramsky, D.M. Gabbay, T.S.E. Maibaum 
260 |a Oxford :  |b The Clarendon Press,  |c 1992 
300 |a xii, 827 s. 
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 kolektivní monografie  |7 fd501537  |2 czenas 
655 9 |a collective monographs  |2 eczenas 
700 1 |a Abramsky, Samson,  |d 1953-  |7 ola2003209046  |4 edt 
700 1 |a Gabbay, Dov M.,  |d 1945-  |7 kup19980000029813  |4 edt 
700 1 |a Maibaum, Thomas S. E.,  |d 1947-  |7 xx0017665  |4 edt 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1329 
CAT |c 20050122  |l MUB01  |h 1256 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2152 
CAT |c 20070427  |l MUB01  |h 2142 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0716 
CAT |c 20080429  |l MUB01  |h 1809 
CAT |c 20080429  |l MUB01  |h 1824 
CAT |c 20080602  |l MUB01  |h 1122 
CAT |c 20080604  |l MUB01  |h 0957 
CAT |c 20091203  |l MUB01  |h 0032 
CAT |c 20091203  |l MUB01  |h 1709 
CAT |c 20100209  |l MUB01  |h 0944 
CAT |a JANA  |b 02  |c 20100309  |l MUB01  |h 1545 
CAT |a POSPEL  |b 02  |c 20100819  |l MUB01  |h 1326 
CAT |a DRIMLOVAX  |b 02  |c 20110620  |l MUB01  |h 0928 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0016 
CAT |a ANTLOVAX  |b 02  |c 20121101  |l MUB01  |h 1040 
CAT |a ANTLOVAX  |b 02  |c 20121101  |l MUB01  |h 1040 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0315 
CAT |c 20150403  |l MUB01  |h 2243 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0917 
CAT |c 20210614  |l MUB01  |h 0857 
CAT |c 20210614  |l MUB01  |h 1848 
CAT |a JANA  |b 02  |c 20231207  |l MUB01  |h 1134 
CAT |a DRIMLOVAX  |b 02  |c 20250120  |l MUB01  |h 1124 
CAT |c 20250324  |l MUB01  |h 1603 
LOW |a POSLANO DO SKCR  |b 2010-02-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R234 - skříň  |5 4200508363  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R234 - skříň  |5 4200513159  |8 20070404  |f 74  |f Měsíční  |g 2007-66  |r 20070531 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R234  |5 4200505530  |8 20040328  |f 74  |f Měsíční  |r 00000001 
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-HAND  |5 3145300929  |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-HAND  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j PRFST 
AVA |a INF50  |b FI  |c sklad  |d R234 - skříň  |e available  |t K dispozici  |f 3  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky