| Shelfclass_id | 4.B.3 |
| Sortkey | HANSEN, CHRISTIAN MAHESH |
| Authors | Christian Mahesh Hansen |
| Title | Incremental Proof Search in the Splitting Calculus |
| Publisher | University of Oslo |
| Year | 2004 |
| Languages | eng |
| Description | vi, 93 p. |
| Record date | 20091106 |
| Location | Oslo, Norway |