A proof theory for general unification
Edición de la obra A proof theory for general unification
| Autor | Wayne Snyder |
|---|---|
| Editorial | Birkhäuser |
| Fecha de publicación | 1991 |
| Lugar | Boston |
| Idioma | inglés |
| Páginas | 175 |
| ISBN-10 | 0817635939, 3764335939 |
| Serie | Progress in computer science and applied logic -- v. 11 |
| Número de Cutter | S675p |