:quality(100))
imagem ilustrativa
Automated theorem proving
Monty Newborn
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2001
- ISBN: 9780387950754
- Automated theorem proving
Descrição: This text and software package introduces readers to automated theorem proving, while providing two approaches impl... Veja mais