Catalog

Record Details

Catalog Search



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.

Bonizzoni, Paola. (editor.). Brattka, Vasco. (editor.). Löwe, Benedikt. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642390531
  • Physical Description: XVIII, 446 p. 42 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science.
Computer software.
Logic design.
Computational complexity.
Logic, Symbolic and mathematical.
Computer Science.
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.

Additional Resources