A carregar...
First Order Logic And Automated Theorem Proving
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Publicado em: |
Springer Publications
1996
|
| Edição: | Ed.2 |
MG University
| Área/Cota: |
511.3 |
|---|---|
| Cód. Barras: | Informação em tempo real indisponível |