Home Advanced Search

Advanced Search - Page 1

Computability in context. Computation and logic in the real world
  • PDF
  • English
  • Year: 2009
  • Author: Cooper S.B., Sorbi A. (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
Sets and Proofs
  • DJVU
  • English
  • Year: 1999
  • Author: Cooper S.B., Truss J.K. (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.)
Complexity, logic, and recursion theory
  • PDF
  • English
  • Year: 2019
  • Author: Sorbi, Andrea
Proceedings of the Northwestern Homotopy Theory Conference
  • DJVU
  • English
  • Year: 1983
  • Author: Miller H.R., Priddy S.B. (eds.)
Emerging topics in computer vision
  • PDF
  • English
  • Year: 2004
  • Author: Medioni G., Kang S.B. (eds.)
  • PDF
  • Year: 1994
  • Author: Lawrence S.B. Goldstein and Eric A. Fyrberg (Eds.)
  • PDF
  • Year: 1990
  • Author: S.B. Dunnett and S.-J. Richards (Eds.)
search