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 |
| OCLC | 6816420 |
| Serie | Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 986 · Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 986 |
| Número de Cutter | D438n |