Automated theorem proving
Edición de la obra Automated theorem proving
| Autor | W. Bibel |
|---|---|
| Fecha de publicación | 1987 |
| Idioma | inglés |
| Páginas | 288 |
| ISBN-13 | 9783322901026, 9783528185206 |
| ISBN-10 | 3322901025, 3528185201 |
| OCLC | 861705995 |
| Serie | Artificial intelligence = -- Künstliche Intelligenz · Artificial intelligence (Braunschweig, Germany) |
| Número de Cutter | B581a |