1 option
The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 7921.
- Theoretical Computer Science and General Issues ; 7921
- Language:
- English
- Subjects (All):
- Computers.
- Algorithms.
- Computer science--Mathematics.
- Computer science.
- Computer logic.
- Logic, Symbolic and mathematical.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Discrete Mathematics in Computer Science.
- Math Applications in Computer Science.
- Logics and Meanings of Programs.
- Mathematical Logic and Foundations.
- Local Subjects:
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Discrete Mathematics in Computer Science.
- Math Applications in Computer Science.
- Logics and Meanings of Programs.
- Mathematical Logic and Foundations.
- Physical Description:
- 1 online resource (XVIII, 446 pages) : 42 illustrations.
- Edition:
- First edition 2013.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
- System Details:
- text file PDF
- Summary:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-39053-1
- 9783642390531
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.