Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005 : Montego Bay, Jamaica, December 2-6, 2005 : proceedings /
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Berlin :
Springer,
c2005.
|
| Edice: | Lecture notes in computer science
Lecture notes in artificial intelligence ; 3835 |
| LEADER | 02093cam a22005297a 4500 | ||
|---|---|---|---|
| 001 | MUB01000443684 | ||
| 003 | CZ BrMU | ||
| 005 | 20160613133119.0 | ||
| 008 | 031024s2005 gw ||||| |||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2012-02-24 | ||
| 020 | |a 3-540-30553-X | ||
| 040 | |a BOD018 |b cze |d BOD018 | ||
| 080 | |a 004 |2 MRF | ||
| 080 | |a (063) |2 MRF | ||
| 111 | 2 | |a LPAR 2005 |c (Montego Bay, Jamajka) |7 xx0042198 |4 aut | |
| 245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning : |b 12th International Conference, LPAR 2005 : Montego Bay, Jamaica, December 2-6, 2005 : proceedings / |c edited by Geoff Sutcliffe and Andrei Voronkov. |
| 260 | |a Berlin : |b Springer, |c c2005. | ||
| 300 | |a xiv, 744 s. | ||
| 490 | 1 | |a Lecture notes in computer science | |
| 490 | 1 | |a Lecture notes in artificial intelligence ; |v 3835 | |
| 700 | 1 | |a Voronkov, Andrei, |d 1959- |7 xx0034855 |4 edt | |
| 700 | 1 | |a Sutcliffe, Geoff, |d 1961- |7 xx0042197 |4 edt | |
| 830 | 0 | |a Lecture notes in computer science | |
| 830 | 0 | |a Lecture notes in artificial intelligence ; |v 3835 | |
| CAT | |a BISKUPOVA |b 02 |c 20051208 |l MUB01 |h 1116 | ||
| CAT | |c 20070427 |l MUB01 |h 2153 | ||
| CAT | |a BATCH-UPD |b 02 |c 20080319 |l MUB01 |h 0636 | ||
| CAT | |c 20080429 |l MUB01 |h 1811 | ||
| CAT | |c 20080429 |l MUB01 |h 1826 | ||
| CAT | |c 20080602 |l MUB01 |h 1124 | ||
| CAT | |c 20080604 |l MUB01 |h 0959 | ||
| CAT | |c 20091203 |l MUB01 |h 0115 | ||
| CAT | |c 20091203 |l MUB01 |h 1754 | ||
| CAT | |c 20101015 |l MUB01 |h 2246 | ||
| CAT | |c 20101016 |l MUB01 |h 0307 | ||
| CAT | |a VASICEK |b 02 |c 20110321 |l MUB01 |h 1146 | ||
| CAT | |c 20120224 |l MUB01 |h 1434 | ||
| CAT | |a BATCH |b 00 |c 20130303 |l MUB01 |h 0708 | ||
| CAT | |c 20150403 |l MUB01 |h 2359 | ||
| CAT | |a CERVINKOVX |b 02 |c 20151117 |l MUB01 |h 1743 | ||
| CAT | |a BATCH |b 00 |c 20151224 |l MUB01 |h 1051 | ||
| CAT | |c 20160401 |l MUB01 |h 1233 | ||
| CAT | |a VASICEKX |b 02 |c 20160613 |l MUB01 |h 1331 | ||
| LOW | |a POSLANO DO SKCR |b 2012-02-24 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m BOOK |1 FI |a Fakulta informatiky |3 K259.05 |5 4200511501 |8 20051208 |f 74 |f Měsíční |r 20051208 |
| AVA | |a INF50 |b FI |d K259.05 |e available |t K dispozici |f 1 |g 0 |h N |i 0 | ||