skip to main content
Primo Search
Search in: Busca Geral

Automated deduction cade-13 ; proceedings [of the] 13th international conference on automated deduction, held in new brunswick, nj, usa, july 30 - august 3, 1996

Conference on Automated Deduction (13. 1996 New Brunswick, Us) Michael A Mcrobbie; John K Slaney

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1104 ) e outros locais(Acessar)

Buscando em bases de dados remotas. Favor aguardar.