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
Korporativní autor: LPAR 2006 (Phnompenh, Kambodža) (Autor)
Další autoři: Voronkov, Andrei, 1959- (Editor), Hermann, Miki, 1958- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2006
Edice:Lecture notes in computer science
Lecture notes in artificial intelligence ; 4246
Témata:
Popis
Fyzický popis:xiii, 588 s.
ISBN:3-540-48281-4