Mechanizing hypothesis formation
mathematical foundations for a general theory
Edición de la obra Mechanizing hypothesis formation
| Autor | Petr Hájek |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1978 |
| Lugar | Berlin |
| Idioma | inglés |
| Páginas | 396 |
| ISBN-10 | 3540087389 |
| OCLC | 4277397 |
| Número de Cutter | H154m |