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)