Which theorem prover?
a survey of four theorem provers
Edición de la obra Which theorem prover?
| Autor | A. Smith |
|---|---|
| Editorial | HMSO |
| Fecha de publicación | 1990 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 32 |
| LCCN | 91171678 |
| Serie | Memorandum ; · 4430 · RSRE memorandun ; |
| Número de Cutter | S642w |