A programming notation for tactical reasoning.
Edición de la obra A programming notation for tactical reasoning
| Autor | David Schmidt |
|---|---|
| Editorial | Dept. of Computer Science, Univ. of Edinburgh |
| Fecha de publicación | 1983 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 17 |
| Serie | Internal report -- CSR-141-83 |
| Número de Cutter | S349p |