000 | 01035nam a2200157Ia 4500 | ||
---|---|---|---|
008 | 140211s9999 xx 000 0 und d | ||
020 | _a9783642030925 | ||
100 | _aArchibald, Margaret. | ||
245 | _aInfinity in Logic and Computation | ||
245 | _bInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / | ||
245 | _cedited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe. | ||
300 | _aOn-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan | ||
650 | _aComputer science.; Information theory.; Computer software.; Electronic data processing.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Theory of Computation.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Mathematics of Computing.; Computing Methodologies. | ||
856 | 4 | 1 |
_3Click her to access the e-Book _uhttp://dx.doi.org/10.1007/978-3-642-03092-5 |
942 | _cEB | ||
999 |
_c116732 _d116732 |