/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 |