Voltar
Livro Acesso aberto Revisado por pares
BIBTEX RIS

9th International Conference on Automated Deduction

1988; Springer Science+Business Media; Linguagem: Inglês

10.1007/bfb0012819

ISSN

1611-3349

Autores

D Barstow, W Brauer, R Brinch, Hansen Gries, D Luckham, C Moler, A Pnueli, G Seegml ller, Josef Stoer, Niklaus Wirth, Ewing Lusk, Ross Overbeek,

Tópico(s)

Neural Networks and Applications

Resumo

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemo

Referência(s)