Investigating proof size of ground proofs
- Författare
- Chien-Huei Chen
- (Chien-Huei Chen.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2007 | Sverige, Göteborg | 22 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2007 | Sverige, Göteborg | 22 sidor. ill. |