Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
Uloženo v:
Další autoři: | |
---|---|
Konference: | |
Médium: | Kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin :
Springer,
2005
|
Edice: | Lecture notes in computer science. Lecture notes in artificial intelligence,
3717 |
Žánr/forma: | sborníky konferencí |
ISBN: | 3-540-29051-6 |
Témata: | |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
LEADER | 01688nam a2200421 a 4500 | ||
---|---|---|---|
001 | 000171515 | ||
003 | CZ PrSTK | ||
005 | 20230309111229.0 | ||
008 | 060120s2005 gw a f |1|1 0 eng d | ||
020 | |a 3-540-29051-6 | ||
040 | |a ABA013 |b cze | ||
050 | 0 | |a QA9.A1 |b F76 2005 | |
072 | 7 | |a 004.8 |x Umělá inteligence |2 Konspekt |9 23 | |
080 | |a 004.8 |2 MRF | ||
080 | |a 004.42 |2 MRF | ||
080 | |a 004.4 |2 MRF | ||
080 | |a 510.6 |2 MRF | ||
080 | |a 004.421.6 |2 MRF | ||
080 | |a (062.534) |2 MRF | ||
111 | 2 | |a FroCoS 2005 |c (Vídeň, Rakousko) |7 xx0040823 | |
245 | 1 | 0 | |a Frontiers of combining systems : |b 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings / |c Bernhard Gramlich (ed.). |
260 | |a Berlin : |b Springer, |c c2005. | ||
300 | |a x, 320 s. : |b il. | ||
490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence, |x 0302-9743 ; |v 3717 | |
504 | |a Obsahuje bibliografii a rejstřík | ||
650 | 0 | 7 | |a umělá inteligence |x vt |7 psh12516 |2 psh |
650 | 0 | 7 | |a programování |x vt |7 psh12467 |2 psh |
650 | 0 | 7 | |a software |x vt |7 psh12463 |2 psh |
650 | 0 | 7 | |a automatizované řešení problémů |x vt |7 psh12523 |2 psh |
650 | 0 | 7 | |a matematická logika |x ma |7 psh7096 |2 psh |
650 | 0 | 7 | |a symbolické výpočty |x if |7 psh6613 |2 psh |
650 | 0 | 7 | |a teorie důkazů |x ma |7 psh7123 |2 psh |
655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
700 | 1 | |a Gramlich, Bernhard, |d -2014 |7 xx0040821 |4 edt | |
856 | 4 | 1 | |u https://doi.org/10.1007/11559306 |y Plný text |
910 | |a ABA013 |b A 41338 | ||
950 | |a Springer |b Computer Science | ||
996 | |a STK |b 2660313312 |c 0234/2006 |d 20060124 |f 1512.00 |g A 41338 |v QA9 .A1 F76 2005 |l 6.NP, regál 6C/197 |t 03 |