Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes.
Material type: TextDescription: On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of PakistanISBN:- 9783642139628
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
e-Book | ICCBS Digital Library | Not for loan |