Logic Programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: LPAR 2001 (Havana, Kuba) (Autor)
Další autoři: Voronkov, Andrei, 1959- (Editor), Nieuwenhuis, Robert (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2001
Edice:Lecture notes in computer science
Lecture notes in artificial intelligence ; 2250
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.01 4200507319