Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Lȵwe, Dag Normann, Ivan Soskov, Alexandra Soskova.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 6735 | Lecture Notes in Computer Science ; 6735Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: XIII, 319p. online resourceTipo de contenido: - text
- computer
- online resource
- 9783642218750
- SpringerLink (Online service)
- 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
- 004.0151 23
- QA75.5-76.95
No hay ítems correspondientes a este registro
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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.