Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/873
| Title: | Space in Weak Propositional Proof Systems |
| Year: | 2017 |
| Description: | QA76 ALMA ; Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; JonE ; ALMA ; Mdhd ; ALMA ; Tdig ; ALMA ; Print ; Space in Weak Propositional Proof Systems ; 9783319734538 ; |
| URI: | http://localhost/handle/Hannan/873 |
| ISBN: | 978-3-319-73453-8 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319734538.pdf | 1.16 MB | Adobe PDF |  Preview File |
| Title: | Space in Weak Propositional Proof Systems |
| Year: | 2017 |
| Description: | QA76 ALMA ; Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; JonE ; ALMA ; Mdhd ; ALMA ; Tdig ; ALMA ; Print ; Space in Weak Propositional Proof Systems ; 9783319734538 ; |
| URI: | http://localhost/handle/Hannan/873 |
| ISBN: | 978-3-319-73453-8 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319734538.pdf | 1.16 MB | Adobe PDF | Preview File |
| Title: | Space in Weak Propositional Proof Systems |
| Year: | 2017 |
| Description: | QA76 ALMA ; Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; JonE ; ALMA ; Mdhd ; ALMA ; Tdig ; ALMA ; Print ; Space in Weak Propositional Proof Systems ; 9783319734538 ; |
| URI: | http://localhost/handle/Hannan/873 |
| ISBN: | 978-3-319-73453-8 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319734538.pdf | 1.16 MB | Adobe PDF | Preview File |