EGG - a portable interface to Agda
- Författare
- Alfonso Sánchez-Paus Díaz
- (Alfonso Sánchez-Paus Díaz.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2002 | Sverige, Göteborg | 68 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2002 | Sverige, Göteborg | 68 sidor. ill. |