The resolution calculus
Edición de la obra The resolution calculus
| Autor | Alexander Leitsch |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1997 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 300 |
| ISBN-10 | 3540618821 |
| OCLC | 35978634 |
| LCCN | 96039706 |
| Serie | Texts in theoretical computer science |
| Número de Cutter | L533r |