Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Những quyển sách tương tự

• Adapting Proofs-as-Programs : The Curry--Howard Protocol /
  Bằng: Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley
  Được phát hành: (2005)
• Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /
  Bằng: Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
  Được phát hành: (2006)
• New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
  Bằng: S. Barry Cooper, Benedikt Löwe, Leen Torenvliet
  Được phát hành: (2005)
• Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
  Bằng: Gordon Fraser, Angelo Gargantini
  Được phát hành: (2010)
• Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /
  Bằng: S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
  Được phát hành: (2007)