Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings /
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network...
Πλήρης περιγραφή
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: |
SpringerLink (Online service) |
Άλλοι συγγραφείς: |
Beckmann, Arnold
(Επιμελητής έκδοσης),
Berger, Ulrich
(Επιμελητής έκδοσης),
Löwe, Benedikt
(Επιμελητής έκδοσης),
Tucker, John V.
(Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή
Ηλ. βιβλίο
|
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
Σειρά: | Lecture Notes in Computer Science,
3988
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link
|