Logic for programmming artificial intelligence, and reasoning : 14th International Conference, LPAR 2007 : Yerevan, Armenia, October 15-19, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: LPAR 2007 (Jerevan, Arménie) (Autor)
Další autoři: Dershowitz, Nachum, 1951- (Editor), Voronkov, Andrei, 1959- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007.
Edice:Lecture notes in computer science. Lecture notes in artificial intelligence ; 4790
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.07 4200513592