Resolution and equality in theorem proving
Edición de la obra Resolution and equality in theorem proving
| Autor | Daniel Brand |
|---|---|
| Editorial | University of Toronto, Dept. of Computer Science |
| Fecha de publicación | 1973 |
| Lugar | Toronto |
| Idioma | inglés |
| Número de Cutter | B817r |