5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

Conference on Automated Deduction (5th 1980 Les Arcs, Savoie, France) W Bibel 1938-; Robert Kowalski

Berlin Springer-Verlag New York 1980

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 LNCS v.87 ) e outros locais(Acessar)