Logical approaches to computational barriers
: proceedings / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006. Arnold Beckmann ... (ed.). - Berlin : Springer, 2006. - Online-Ressoruce - (Lecture notes in computer science; 3988)
ISBN 978-3-540-35468-0
Lizenzpflichtig
Quelle: DNB
Logic and theory of algorithms
: proceedings / 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 - 20, 2008. Arnold Beckmann ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5028)
ISBN 978-3-540-69407-6
Lizenzpflichtig
Quelle: DNB

