The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings

著者

• Conference on Computability in Europe
• Bonizzoni, Paola
• Brattka, Vasco
• Löwe, Benedikt

書誌事項

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings

Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)

（Lecture notes in computer science, 7921 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）

Springer, c2013

注記

Includes bibliographical references and index

• NII書誌ID(NCID): BB14613767
• ISBN:
  • 9783642390524
• LCCN: 2013940615
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xviii, 446 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 004.0151
• 件名:
  • LCSH : Computer science -- Mathematics -- Congresses
  • LCSH : Computational complexity -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
  • FREE : Computation
  • FREE : Computability
  • FREE : CiE
• 親書誌ID:
  • BA00009279