A carregar...
Symbolic logic and mechanical theorem proving /
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Idioma: | Undetermined |
| Publicado em: |
1973.
|
| Colecção: | Computer science and applied mathematics,A series of monogra
|
University of Kerala
| Área/Cota: |
R14 L3 |
|---|---|
| Cód. Barras: LC1 | Informação em tempo real indisponível |