Automated Theorem Proving
Edición de la obra Automated Theorem Proving
| Autor | W. Bibel |
|---|---|
| Editorial | Vieweg+Teubner Verlag |
| Fecha de publicación | 1982 |
| Lugar | Wiesbaden |
| Idioma | alemán |
| Formato | Elektronische Ressource |
| ISBN-13 | 9783322901002 |
| ISBN-10 | 3322901009 |
| OCLC | 863972401 |
| Número de Cutter | B581a |