Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings
Conference on Computability in Europe (3 ; 2007 ; Siena)
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented ...together with 36 invited papers were carefully reviewed and selected from 167 submissions. Among them are papers corresponding to 12 plenary talks and papers of eight special sessions entitled doing without Turing machines: constructivism and formal topology, approaches to computational learning, real computation, computability and mathematical structure, complexity of algorithms and proofs,logic and new paradigms of computability, computational foundations of physics and biology, as well as a women in computability workshop.
Type of material - proceedings of conference contributions
Publication and manufacture - Berlin ; Heidelberg : Springer, cop. 2007
Electronic version of document accessible or this is an electronic resource
Shelf entry
Adding material to shelf was successful.
Adding material to shelf failed.
It was not necessary to add the material to the shelf.
Bibliographic material was successfully added on shelf.
Adding bibliographical material on shelf was not successful.
Material is already on the shelf.
Permalink
URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year
Impact factor
Edition
Category
Classification
JCR
SNIP
JCR
SNIP
JCR
SNIP
JCR
SNIP
Select the library membership card:
DRS,
in which the journal is indexed
Database name
Field
Year
Links to authors' personal bibliographies
Links to information on researchers in the SICRIS system
Subject headings in COBISS General List of Subject Headings
Select pickup location
The material from the parent unit is free. If the material is delivered to the pickup location from another unit, the library may charge you for this service.
