Home Advanced Search

Advanced Search - Page 1

Computability in Context: Computation and Logic in the Real World
  • PDF
  • English
  • Year: 2009
  • Author: S. Barry Cooper, Andrea Sorbi
New Computational Paradigms: Changing Conceptions of What is Computable
  • PDF
  • English
  • Year: 2008
  • Author: Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
New Computational Paradigms: Changing Conceptions of What is Computable
  • PDF
  • English
  • Year: 2008
  • Author: Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
New Computational Paradigms: Changing Conceptions of What is Computable
  • PDF
  • English
  • Year: 2008
  • Author: Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
New Computational Paradigms: Changing Conceptions of What is Computable
  • PDF
  • English
  • Year: 2008
  • Author: Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Luigi Acerbi, Alberto Dennunzio, Enrico Formenti (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
New Computational Paradigms: Changing Conceptions of What is Computable
  • DJVU
  • English
  • Year: 2007
  • Author: S.B. Cooper, Benedikt Löwe, Andrea Sorbi
New Computational Paradigms: Changing Conceptions of What is Computable
  • DJVU
  • English
  • Year: 2007
  • Author: S.B. Cooper, Benedikt Löwe, Andrea Sorbi
Complexity, logic, and recursion theory
  • PDF
  • English
  • Year: 2019
  • Author: Sorbi, Andrea
Computability theory
  • DJVU
  • English
  • Year: 2003
  • Author: S. Barry Cooper
search