Automated reasoning

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:35047
Ostali autori: IJCAR 2006 (-)
Ostali autori: Furbach, Ulrich (-), Shankar, N.
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin ; New York : Springer, c2006.
Nakladnička cjelina: Lecture notes in computer science ; 4130.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Predmet: