Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Berlin :
Springer,
c1998
|
| Edice: | Lecture notes in computer science
Lecture notes in artificial intelligence ; 1421 |
| Témata: |
| LEADER | 03477cam a22008537a 4500 | ||
|---|---|---|---|
| 001 | MUB01000150762 | ||
| 003 | CZ BrMU | ||
| 005 | 20250729104957.0 | ||
| 008 | 980903s1998 gw ||||| |||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2009-06-22 | ||
| 020 | |a 3-540-64675-2 | ||
| 040 | |a BOD018 |b cze |d BOD018 | ||
| 072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
| 072 | 7 | |a 519.1/.8 |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování |2 Konspekt |9 13 | |
| 080 | |a (062.534) |2 MRF | ||
| 080 | |a 004 |2 MRF | ||
| 080 | |a 519.713 |2 MRF | ||
| 080 | |a 519.766 |2 MRF | ||
| 080 | |a 004.423.2 |2 MRF | ||
| 080 | |a (075.8) |2 MRF | ||
| 111 | 2 | |a International Conference on Automated Deduction |n (20. : |d 2005 : |c Tallinn, Estonsko) |7 xx0039666 |4 aut | |
| 245 | 1 | 0 | |a Automated deduction - CADE-15 : |b 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / |c edited by Claude Kirchner, Héléne Kirchner |
| 260 | |a Berlin : |b Springer, |c c1998 | ||
| 300 | |a xiv, 441 s. | ||
| 490 | 1 | |a Lecture notes in computer science | |
| 490 | 1 | |a Lecture notes in artificial intelligence ; |v 1421 | |
| 650 | 0 | 7 | |a výpočetní technika |7 ph137273 |2 czenas |
| 650 | 0 | 7 | |a bezkontextové gramatiky |7 ph214655 |2 czenas |
| 650 | 0 | 7 | |a formální jazyky |7 ph208851 |2 czenas |
| 650 | 0 | 7 | |a regulární výrazy |7 ph594494 |2 czenas |
| 650 | 0 | 7 | |a teorie automatů |7 ph126547 |2 czenas |
| 650 | 0 | 9 | |a computer science |2 eczenas |
| 650 | 0 | 9 | |a automata theory |2 eczenas |
| 650 | 0 | 9 | |a context-free grammars |2 eczenas |
| 650 | 0 | 9 | |a formal languages |2 eczenas |
| 650 | 0 | 9 | |a regular expressions |2 eczenas |
| 655 | 7 | |a monografie |7 fd132842 |2 czenas | |
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 655 | 9 | |a monographs |2 eczenas | |
| 655 | 9 | |a proceedings of conferences |2 eczenas | |
| 700 | 1 | |a Kirchner, Claude |7 stk2007405898 |4 edt | |
| 700 | 1 | |a Kirchner, Héléne |4 edt | |
| 830 | 0 | |a Lecture notes in computer science | |
| 830 | 0 | |a Lecture notes in artificial intelligence ; |v 1421 | |
| CAT | |a CONF-FI |b 02 |c 20040327 |l MUB01 |h 1748 | ||
| 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 | |c 20081212 |l MUB01 |h 0944 | ||
| CAT | |c 20081212 |l MUB01 |h 1055 | ||
| CAT | |c 20090622 |l MUB01 |h 0744 | ||
| CAT | |c 20091202 |l MUB01 |h 2153 | ||
| CAT | |c 20091203 |l MUB01 |h 1428 | ||
| CAT | |c 20101015 |l MUB01 |h 2113 | ||
| CAT | |c 20101016 |l MUB01 |h 0129 | ||
| CAT | |a BATCH |b 00 |c 20130301 |l MUB01 |h 1704 | ||
| CAT | |c 20150403 |l MUB01 |h 1945 | ||
| CAT | |a BATCH |b 00 |c 20151224 |l MUB01 |h 0456 | ||
| CAT | |c 20160401 |l MUB01 |h 1229 | ||
| CAT | |a VARTECKAX |b 02 |c 20161101 |l MUB01 |h 0759 | ||
| CAT | |a FUKSOVAX |b 02 |c 20201011 |l MUB01 |h 1605 | ||
| CAT | |a VESELA |b 02 |c 20230313 |l MUB01 |h 1508 | ||
| CAT | |a VESELA |b 02 |c 20230313 |l MUB01 |h 1508 | ||
| CAT | |a VESELAX |b 02 |c 20250729 |l MUB01 |h 1049 | ||
| LOW | |a POSLANO DO SKCR |b 2009-06-22 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m BOOK |1 FI |a Fakulta informatiky |2 SKLAD |b sklad |3 K23.98 |5 4200504495 |8 20040328 |f 74 |f Měsíční |r 00000001 |
| AVA | |a INF50 |b FI |c sklad |d K23.98 |e available |t K dispozici |f 1 |g 0 |h N |i 0 |j SKLAD | ||