ALP-UK Workshop on Concurrency in Computational Logic /

Uloženo v:
Podrobná bibliografie
Korporativní autor: Workshop on Concurrency in Computational Logic Londýn, Anglie) (Autor)
Další autoři: Gilbert, D. R. (Editor), Jacquet, Jean-Marie
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: London : City University London, 1993
Témata:
Obálka
LEADER 02560nam a22006857a 4500
001 MUB01000150500
003 CZ BrMU
005 20240923161651.0
008 020128s1993 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2009-06-22 
040 |a BOD018  |b cze 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a (062.534)  |2 MRF 
080 |a 004  |2 MRF 
080 |a 16  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 004.43  |2 MRF 
111 2 |a Workshop on Concurrency in Computational Logic  |d (1993 :  |c Londýn, Anglie)  |4 aut 
245 1 0 |a ALP-UK Workshop on Concurrency in Computational Logic /  |c edited by D. R. Gilbert, J-M. Jacquet 
260 |a London :  |b City University London,  |c 1993 
300 |a 69 s. 
650 0 7 |a výpočetní technika  |7 ph137273  |2 czenas 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 7 |a programovací jazyky  |7 ph115890  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a programming  |2 eczenas 
650 0 9 |a programming languages  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a proceedings of conferences  |2 eczenas 
700 1 |a Gilbert, D. R.  |4 edt 
700 1 |a Jacquet, Jean-Marie  |7 xx0034848 
CAT |a CONF-FI  |b 02  |c 20040327  |l MUB01  |h 1745 
CAT |a CONV-M04  |b 02  |c 20040919  |l MUB01  |h 1743 
CAT |c 20050122  |l MUB01  |h 1222 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2122 
CAT |c 20070427  |l MUB01  |h 2114 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0632 
CAT |c 20080429  |l MUB01  |h 1804 
CAT |c 20080429  |l MUB01  |h 1819 
CAT |c 20080602  |l MUB01  |h 1116 
CAT |c 20080604  |l MUB01  |h 0952 
CAT |a KREKOVA  |b 02  |c 20090216  |l MUB01  |h 1230 
CAT |c 20090622  |l MUB01  |h 0744 
CAT |c 20091202  |l MUB01  |h 2152 
CAT |c 20091203  |l MUB01  |h 1428 
CAT |a SIMCIKOVAX  |b 02  |c 20111121  |l MUB01  |h 1104 
CAT |a BATCH  |b 00  |c 20130301  |l MUB01  |h 1703 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0456 
CAT |c 20160401  |l MUB01  |h 1229 
CAT |a VARTECKAX  |b 02  |c 20160412  |l MUB01  |h 1200 
CAT |a VARTECKAX  |b 02  |c 20160923  |l MUB01  |h 1208 
CAT |a VARTECKAX  |b 02  |c 20190517  |l MUB01  |h 0749 
CAT |a VESELA  |b 02  |c 20230302  |l MUB01  |h 1420 
CAT |a VESELAX  |b 02  |c 20240923  |l MUB01  |h 1616 
LOW |a POSLANO DO SKCR  |b 2009-06-22 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K464.93  |5 4200507480  |8 20040328  |f 74  |f Měsíční  |r 00000001 
AVA |a INF50  |b FI  |d K464.93  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0