Jump to main content

yr 〜
yr

Search results 6

Computability in context : computation and logic in the real world

Computability in context : computation and logic in the real world
Paper図書
editors, S. Barry Cooper & Andrea SorbiImperlial College Press2011
Other Libraries in Japan
  • Author HeadingCooper, S. B. (S. Barry) Sorbi, Andrea

New computational paradigms : changing conceptions of what is computable

New computational paradigms : changing conceptions of what is computable
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringerc2010
Other Libraries in Japan
  • Author HeadingCooper, S. B. Löwe, Benedikt Sorbi, Andrea,

New computational paradigms : changing conceptions of what is computable : pbk

New computational paradigms : changing conceptions of what is computable : pbk
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringer2008
Other Libraries in Japan
  • Author HeadingCooper, S. B. Löwe, Benedikt Sorbi, Andrea,

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007 Siena, Italy, June 18-23, 2007 : proceedings

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007 Siena, Italy, June 18-23, 2007 : proceedings
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingConference on Computability in Europe Cooper, S. B. (S. Barry) Löwe, Benedikt Sorbi, Andrea

Complexity, logic, and recursion theory

Complexity, logic, and recursion theory
Paper図書
edited by Andrea SorbiMarcel Dekkerc1997
Other Libraries in Japan
  • Author HeadingSorbi, Andrea

Computation and logic in the real world : third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings. : annual CiE conference : women in computability workshop : Jun 2007, Siena, Italy. (Lecture Notes in Computer Science ; 4497)

Computation and logic in the real world : third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings. : annual CiE conference : women in computability workshop : Jun 2007, Siena, Italy. (Lecture Notes in Computer Science ; 4497)
Paper図書
Springerc2007.<M17-07-1735>
National Diet Library
  • Author Heading...öwe, Benedikt. Sorbi, Andrea, 1956- Conference on Computabi...

Reached to the end of result.

RSS