Computation and Logic in the Real World

Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

• Author(s): S. Barry Cooper,
• Publisher: Springer Science & Business Media
• Pages: 826
• ISBN_10: 3540730001
  ISBN_13: 9783540730002
  
• Language: en
• Categories: Computers / Artificial Intelligence / General , Computers / Computer Science , Computers / Data Science / General , Computers / Information Technology , Computers / Programming / General , Computers / Programming / Algorithms , Computers / Data Science / Bioinformatics , Mathematics / Applied , Mathematics / Discrete Mathematics , Mathematics / Logic , Mathematics / Numerical Analysis , Science / Life Sciences / Biology , Science / Life Sciences / Molecular Biology , Science / Life Sciences / Anatomy & Physiology , Science / Bioinformatics ,

Description:...

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.