Annotated turing a guided tour through Alan Turing's historic paper on computability and the turing machine
Publication details: Indianapolis Wiley 2008 Description: xii, 372pISBN:- 9780470229057
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library General Stacks | 510.57 PET (Browse shelf(Opens below)) | Available | 00063244 |
Browsing University Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
510.5 SOL Introduction to the analysis of algorithms | 510:502 WAL Mathematics for the environment | 510(548.3)(091) JOS Passage to infinity | 510.57 PET Annotated turing | 510.6 KOH Applied proof theory | 510.6 MEN Introduction to mathematical logic | 510.6 ROB Introduction to mathematical proofs |
There are no comments on this title.