The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften:	Bonizzoni, Paola (VerfasserIn), Brattka, Vasco (Sonstige), Löwe, Benedikt (Sonstige)
Titel:	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
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7921
Schlagwörter:	Computer software Logic design Computational complexity Logic, Symbolic and mathematical Computer science Computer Science Algorithms. Discrete mathematics. Mathematical logic. Konferenzschrift > 2013 > Mailand Konferenzschrift
Druckausg.:	The nature of computation, Berlin : Springer, 2013, XVIII, 446 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	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
Beschreibung:	Literaturangaben
Umfang:	Online-Ressource (XVIII, 446 p. 42 illus, digital)
ISBN:	9783642390531
DOI:	10.1007/978-3-642-39053-1