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:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky K259.06 4200512460