6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

Conference on Automated Deduction (6th 1982 New York, N.Y.) Donald W Loveland

Berlin Springer-Verlag New York 1982

Localização: IME - Inst. Matemática e Estatística    (S L471c v.138 )(Acessar)