Lowe, Benedikt.

概要

作品:	100 作品在 2 項出版品 1 種語言

書目資訊

Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (1998 :); Beckmann, Arnold.; Dimitracopoulos, Costas.; Lowe, Benedikt.; SpringerLink (Online service) (書目-電子資源)

Classical and new paradigms of computation and their complexity hierarchiespapers of the conference "Foundations of the Formal Sciences III" / by: (1998 :); Lowe, Benedikt.; Piwinger, Boris.; Rasch, Thoralf.; SpringerLink (Online service) (書目-電子資源)

New Computational Paradigms :Changing Conceptions of What is Computable / by: Cooper, S. Barry.; Lowe, Benedikt.; Sorbi, Andrea.; SpringerLink (Online service) (書目-電子資源)

How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (1998 :); Cooper, S. Barry.; Dawar, Anuj.; Lowe, Benedikt.; SpringerLink (Online service) (書目-電子資源)

Logic and the foundations of game and decision theory - LOFT 88th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (1998 :); Bonanno, Giacomo.; Hoek, Wiebe van der.; Lowe, Benedikt.; SpringerLink (Online service) (書目-電子資源)

Mathematical theory and computational practice5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / by: (1998 :); Ambos-Spies, Klaus.; Lowe, Benedikt.; Merkle, Wolfgang.; SpringerLink (Online service) (書目-電子資源)

New Computational ParadigmsFirst Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (1998 :); Cooper, S. B.; Lowe, Benedikt.; SpringerLink (Online service); Torenvliet, Leen. (書目-電子資源)

Models of computation in context7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (1998 :); Lowe, Benedikt.; SpringerLink (Online service) (書目-電子資源)

主題