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