The Nature of Computation: Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.
Contributor(s): Bonizzoni, Paola [editor.]
| Brattka, Vasco [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Theoretical Computer Science and General Issues: 7921Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Edition: 1st ed. 2013.Description: XVIII, 446 p. 42 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642390531.Subject(s): Computer science | Algorithms | Computer science -- Mathematics | Discrete mathematics | Mathematical logic | Theory of Computation | Algorithms | Discrete Mathematics in Computer Science | Mathematical Applications in Computer Science | Computer Science Logic and Foundations of Programming | Mathematical Logic and FoundationsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
In:
Springer Nature eBookSummary: This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.
There are no comments for this item.