Completely non-clausal, completely neuristically driven, automatic theorem proving
Edición de la obra Completely non-clausal, completely neuristically driven, automatic theorem proving
| Autor | Francis Jeffry Pelletier |
|---|---|
| Fecha de publicación | 1983 |
| Idioma | inglés |
| Páginas | 596 |
| Número de Cutter | P388c |