skip to main content

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)

IME - Inst. Matemática e Estatística (S L471c v.138 ) Disponível na Biblioteca
Local Número de chamada Descrição Status / Emprestado até Código de barras Tipo de item Opções de solicitação
S L471c v.138 Item disponível 31000047540 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: S L471c v.138
  • Status: Item disponível
  • Código de Barras: 31000047540
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 1

Buscando em bases de dados remotas. Favor aguardar.