Implementation of a theorem-prover based on semantic tableaux.
Edición de la obra Implementation of a theorem-prover based on semantic tableaux
| Autor | Steve Reeves |
|---|---|
| Editorial | Queen Mary College, Department of Computer Science and Statistics |
| Fecha de publicación | 1987 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 55 |
| Serie | Report -- No.402 |
| Número de Cutter | R332i |