Automation of reasoning
| Formato: | Libro |
|---|---|
| Idioma: | Inglés |
| Publicado: |
Berlin :
Springer-Verlag
1983.
|
| Colección: | Symblic Computation
|
| Descripción Física: | 2 v. |
|---|---|
| ISBN: | 9783540120445 |
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
