Equational programming
Edición de la obra Equational programming
| Autor | Nachum Dershowitz |
|---|---|
| Editorial | Dept. of Computer Science, University of Illinois at Urbana-Champaign |
| Fecha de publicación | 1986 |
| Lugar | Urbana, Ill. (1304 W. Springfield, Urbana 61801) |
| Idioma | inglés |
| Páginas | 54 |
| LCCN | 86621923 |
| Serie | Report / Department of Computer Science, University of Illinois at Urbana-Champaign ; · no. UIUCDCS-R-86-1265 · Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ; |
| Número de Cutter | D438e |