imagem ilustrativa
Logic based program synthesis and transformation
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2001
- ISBN: 9783540421276
- Logic based program synthesis and transformation

Descrição: This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Tr... Veja mais