Automated deduction, CADE-19

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34933
Ostali autori: International Conference on Automated Deduction (-)
Ostali autori: Baader, Franz (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin ; New York : Springer, c2003.
Nakladnička cjelina: Lecture notes in computer science ; 2741.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Predmet:
Online pristup: Publisher description