Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk.
Material type: TextDescription: On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of PakistanISBN:- 9783540455042
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
e-Book | ICCBS Digital Library | Not for loan |