Cover Image
Saved in:

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

Bibliographic Details
Corporate Authors: Conference on Computability in Europe Milan, Italy), SpringerLink (Online service)
Other Authors: Bonizzoni, Paola., Brattka, Vasco, 1966-, Löwe, Benedikt.
Format: Online Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2013.
Series:Lecture notes in computer science ; 7921.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 02344cam a2200565Ka 4500
001 1461643
005 20130906093821.0
006 m o d
007 cr cnu---unuuu
008 130618s2013 gw o 101 0 eng d
020 |a 3642390536 (electronic bk.) 
020 |a 9783642390531 (electronic bk.) 
020 |z 9783642390524 
035 |a (OCoLC)849283186 
035 |a (OCoLC)ocn849283186 
040 |a GW5XE  |c GW5XE  |d YDXCP  |d COO 
049 |a PVUM 
050 4 |a QA9.59  |b .C66 2013 
111 2 |a Conference on Computability in Europe  |n (9th :  |d 2013 :  |c Milan, Italy) 
245 1 4 |a The nature of computation  |h [electronic resource] :  |b logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /  |c Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.). 
246 3 |a CiE 2013 
260 |a Berlin ;  |a New York :  |b Springer,  |c c2013. 
300 |a 1 online resource. 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 7921 
490 1 |a LNCS sublibrary. SL 1, Theoretical computer science and general issues 
500 |a Includes author index. 
500 |a International conference proceedings. 
506 |a Electronic access restricted to Villanova University patrons. 
650 0 |a Computable functions  |v Congresses. 
650 0 |a Computer science  |x Mathematics  |v Congresses. 
653 4 |a Algorithm Analysis and Problem Complexity. 
653 4 |a Computation by Abstract Devices. 
653 4 |a Computational complexity. 
653 4 |a Computer science. 
653 4 |a Computer software. 
653 4 |a Discrete Mathematics in Computer Science. 
653 4 |a Logic design. 
653 4 |a Logic, Symbolic and mathematical. 
653 4 |a Math Applications in Computer Science. 
653 4 |a Mathematical Logic and Foundations. 
655 4 |a Electronic books. 
700 1 |a Bonizzoni, Paola. 
700 1 |a Brattka, Vasco,  |d 1966- 
700 1 |a Löwe, Benedikt. 
710 2 |a SpringerLink (Online service) 
830 0 |a Lecture notes in computer science ;  |v 7921. 
830 0 |a LNCS sublibrary.  |n SL 1,  |p Theoretical computer science and general issues. 
856 4 0 |z Online version  |u http://ezproxy.villanova.edu/login?URL=http://dx.doi.org/10.1007/978-3-642-39053-1 
994 |a 92  |b PVU 
852 0 |b WWW  |h QA9.59  |i .C66 2013