Program development in computational logic : a decade of research advances in logic-based program development /
Uloženo v:
| Další autoři: | , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Berlin :
Springer,
c2004
|
| Edice: | Lecture notes in computer science,
3049 Lecture notes in computer science. State-of-the-art survey |
| Témata: |
| LEADER | 02720nam a22006857a 4500 | ||
|---|---|---|---|
| 001 | MUB01000399999 | ||
| 003 | CZ BrMU | ||
| 005 | 20250426110557.0 | ||
| 008 | 050314s2004 gw ||||| |||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2011-03-02 | ||
| 020 | |a 3-540-22152-2 | ||
| 040 | |a BOD018 |b cze | ||
| 072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
| 080 | |a 004 |2 MRF | ||
| 080 | |a (048.8) |2 MRF | ||
| 245 | 0 | 0 | |a Program development in computational logic : |b a decade of research advances in logic-based program development / |c Maurice Bruynooghe, Kung-Kiu Lau (eds.) |
| 260 | |a Berlin : |b Springer, |c c2004 | ||
| 300 | |a viii, 538 s. : |b il. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3049 | |
| 490 | 1 | |a Lecture notes in computer science. State-of-the-art survey | |
| 504 | |a Obsahuje bibliografii a rejstřík | ||
| 650 | 0 | 7 | |a programování |7 ph115891 |2 czenas |
| 650 | 0 | 7 | |a logika |7 ph122436 |2 czenas |
| 650 | 0 | 9 | |a programming |2 eczenas |
| 650 | 0 | 9 | |a logic |2 eczenas |
| 655 | 7 | |a monografie |7 fd132842 |2 czenas | |
| 655 | 9 | |a monographs |2 eczenas | |
| 700 | 1 | |a Bruynooghe, M. |q (Maurice) |4 edt | |
| 700 | 1 | |a Lau, K.-K. |q (Kung-Kiu), |d 1953- |7 xx0041072 |4 edt | |
| 830 | 0 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3049 | |
| 830 | 0 | |a Lecture notes in computer science. |p State-of-the-art survey | |
| CAT | |a BISKUPOVA |b 02 |c 20050314 |l MUB01 |h 1327 | ||
| CAT | |a MS-650 |b 02 |c 20051101 |l MUB01 |h 2249 | ||
| CAT | |a MS-6502 |b 02 |c 20051102 |l MUB01 |h 2231 | ||
| CAT | |c 20070427 |l MUB01 |h 2148 | ||
| CAT | |a BATCH-UPD |b 02 |c 20080415 |l MUB01 |h 0600 | ||
| CAT | |c 20080429 |l MUB01 |h 1811 | ||
| CAT | |c 20080429 |l MUB01 |h 1825 | ||
| CAT | |c 20091203 |l MUB01 |h 0057 | ||
| CAT | |c 20091203 |l MUB01 |h 1736 | ||
| CAT | |c 20101015 |l MUB01 |h 2237 | ||
| CAT | |c 20101016 |l MUB01 |h 0252 | ||
| CAT | |a HANAV |b 02 |c 20110222 |l MUB01 |h 1426 | ||
| CAT | |a HANAV |b 02 |c 20110222 |l MUB01 |h 1439 | ||
| CAT | |c 20110302 |l MUB01 |h 1017 | ||
| CAT | |a batch |b 00 |c 20120324 |l MUB01 |h 0032 | ||
| CAT | |a PUTNOVAX |b 02 |c 20120829 |l MUB01 |h 1222 | ||
| CAT | |a BATCH |b 00 |c 20130303 |l MUB01 |h 0554 | ||
| CAT | |c 20150403 |l MUB01 |h 2312 | ||
| CAT | |a BATCH |b 00 |c 20151224 |l MUB01 |h 1005 | ||
| CAT | |c 20200810 |l MUB01 |h 1719 | ||
| CAT | |c 20210614 |l MUB01 |h 1854 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1055 | ||
| CAT | |a VARTECKAX |b 02 |c 20250305 |l MUB01 |h 0925 | ||
| CAT | |a HANAV |b 02 |c 20250316 |l MUB01 |h 2313 | ||
| CAT | |a HANAV |b 02 |c 20250426 |l MUB01 |h 1105 | ||
| LOW | |a POSLANO DO SKCR |b 2011-03-02 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m BOOK |1 FI |a Fakulta informatiky |3 L330 |5 4200510519 |8 20050314 |f 74 |f Měsíční |r 20050314 |
| AVA | |a INF50 |b FI |d L330 |e available |t K dispozici |f 1 |g 0 |h N |i 0 | ||