A note on simplification orderings
Edición de la obra A note on simplification orderings
| Autor | Nachum Dershowitz |
|---|---|
| Editorial | Dept. of Computer Science, University of Illinois at Urbana-Champaign |
| Fecha de publicación | 1979 |
| Lugar | Urbana, Ill |
| Idioma | inglés |
| LCCN | 80621698 |
| Serie | [Report] - UIUCDCS-R-79 ; 986 |
| Número de Cutter | D438n |