Library of American University of Madaba
Your cart is empty.
Löwe, Benedikt.
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / [electronic resource] : edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. - XIII, 319p. online resource. - Lecture Notes in Computer Science, 6735 0302-9743 ; .
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011.The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%. The papers cover the topics computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and computational linguistics.
9783642218750
Computer science.
Computer software.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
QA75.5-76.95
004.0151
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / [electronic resource] : edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. - XIII, 319p. online resource. - Lecture Notes in Computer Science, 6735 0302-9743 ; .
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011.The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%. The papers cover the topics computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and computational linguistics.
9783642218750
Computer science.
Computer software.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
QA75.5-76.95
004.0151