Adding equality to semantic tableaux.
Edición de la obra Adding equality to semantic tableaux
| Autor | S. V. Reeves |
|---|---|
| Editorial | Queen Mary College, Department of Computer Science and Statistics |
| Fecha de publicación | 1986 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 28 |
| Serie | Report -- No.382 |
| Número de Cutter | R332a |