imagem ilustrativa
Logic for programming and automated reasoning
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2000
- ISBN: 9783540412854
- Logic for programming and automated reasoning

Descrição: This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated R... Veja mais