Carregando...
Logic for computer science : Foundations of Automatic Theorem proving/
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Idioma: | English |
| Publicado em: |
John Wiley & Sons,
1987.
|
University of Calicut
| Área/Cota: |
68 GAL |
|---|---|
| Cópia | Informação em tempo real indisponível |