Vytvořit citaci
Poslat emailem
Exportovat záznam
Přidat do oblíbených
Objednat papírovou kopii

Logic for Programming, Artificial Intelligence, and Reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

Uloženo v:
Podrobná bibliografie
Další autoři: Hermann, Miki, 1958- (Editor) 
Voronkov, Andrei, 1959- (Editor) 
Konference: LPAR 2006 (Phnompenh, Kambodža)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer, 2006
Edice:Lecture notes in computer science. Lecture notes in artificial intelligence, 4246
Žánr/forma:sborníky konferencí
ISSN:0302-9743 ;
ISBN:3-540-48281-4
978-3-540-48281-9
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
LEADER 01569nam a2200361 a 4500
001 000644784
003 CZ PrSTK
005 20230320115349.0
008 060919s2006 gw a f 1|1 0 eng d
020 |a 3-540-48281-4  |z 978-3-540-48281-9 
040 |a OHX  |c OHX  |d CUS  |d MnU  |d DLC  |d ABA013 
050 0 |a QA76.63  |b .L63 2006 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.42(063) 
080 |a 004.43(063) 
080 |a 004.8(063) 
080 |a 004.047(063) 
111 2 |a LPAR 2006  |c (Phnompenh, Kambodža)  |7 stk2007399425 
245 1 0 |a Logic for Programming, Artificial Intelligence, and Reasoning :  |b 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /  |c Miki Hermann, Andrei Voronkov (eds.) 
260 |a Berlin :  |b Springer,  |c c2006 
300 |a xiii, 588 s. :  |b il. 
440 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence,  |x 0302-9743 ;  |v 4246 
504 |a Obsahuje bibliografii a rejstřík 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
650 0 7 |a programování  |x vt  |7 psh12467  |2 psh 
650 0 7 |a umělá inteligence  |x vt  |7 psh12516  |2 psh 
650 0 7 |a matematická logika  |x ma  |7 psh7096  |2 psh 
700 1 |a Hermann, Miki,  |d 1958-  |7 stk2007393649  |4 edt 
700 1 |a Voronkov, Andrei,  |d 1959-  |7 xx0034855  |4 edt 
856 4 1 |u https://doi.org/10.1007/11916277  |y Plný text 
910 |a ABA013  |b A 42977 
950 |a Springer  |b Computer Science 
996 |a STK  |b 2660459192  |c 916/2007  |d 20070403  |f 2278.50  |g A 42977  |v QA76 .63 .L63 2006  |l 6.NP, regál 6D/005  |t 03