Your search returned 2 results.

Results
	1.	Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker. by Beckmann, Arnold Berger, Ulrich Löwe, Benedikt Tucker, John V SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3988 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.A1 B43 2006. Place hold Add to cart (remove)
	2.	Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe. by Beckmann, Arnold Dimitracopoulos, Costas Löwe, Benedikt SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5028 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.59 B43 2008. Place hold Add to cart (remove)

Refine your search