Computation, Physics and Beyond
Dinneen, Michael J.
Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers / edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642276545
Computer science.; Information theory.; Computer software.; Logic design.; Computer Science.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematics of Computing.; Theory of Computation.
Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers / edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642276545
Computer science.; Information theory.; Computer software.; Logic design.; Computer Science.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematics of Computing.; Theory of Computation.