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 |
| OCLC | 24429242 |
| LCCN | 91028684 |
| Serie | Progress in computer science and applied logic ; · v. 11 |
| Número de Cutter | S675p |