/siksth/6th Conference on Automated Deduction

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:2425
Ostali autori: Loveland, Donald W. (Editor)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin : Springer Verlag, 1982.
Izdanje: 1. izd
Nakladnička cjelina: Lecture Notes in Computer Science ; 138