Automated Theorem Proving in Non-Classical Logics
Edición de la obra Automated Theorem Proving in Non-Classical Logics
| Autor | C. Morgan |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | December 1995 |
| Formato | Hardcover |
| ISBN-13 | 9780387976921 |
| ISBN-10 | 0387976922 |
| Número de Cutter | M847a |