Short proofs may be spacious - understanding space in resolution
- Författare
- Jakob Nordström
- (Jakob Nordström.)
- Genre
- theses
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Theoretical Computer Science, Teoretisk datalogi, Kungliga Tekniska högskolan | 2008 | Sverige, Stockholm | xiv, 255 sidor. | 978-91-7178-936-5 |
KTH | 2008 | Sverige, Stockholm | xiv, 255 |