An experiment in automated theorem proving in type theory
- Författare
- Fredrik Lindblad
- (Fredrik Lindblad.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2004 | Sverige, Göteborg | 69 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2004 | Sverige, Göteborg | 69 sidor. ill. |