书目名称 | Logic and Theory of Algorithms | 副标题 | 4th Conference on Co | 编辑 | Arnold Beckmann,Costas Dimitracopoulos,Benedikt Lö | 视频video | | 丛书名称 | Lecture Notes in Computer Science | 图书封面 |  | 描述 | CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory, or relativity. Computations may be very general, depending on the foundations of set theory; or very speci?c, using the combinatorics of ?nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, computational learning. | 出版日期 | Conference proceedings 2008 | 关键词 | algorithm; algorithmic game theory; algorithms; biology; complexity; computability; game theory; logic; algo | 版次 | 1 | doi | https://doi.org/10.1007/978-3-540-69407-6 | isbn_softcover | 978-3-540-69405-2 | isbn_ebook | 978-3-540-69407-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | Springer-Verlag Berlin Heidelberg 2008 |
The information of publication is updating
|
|