本文に飛ぶ

年 〜
年

検索結果 6 件

Computability in context : computation and logic in the real world

Computability in context : computation and logic in the real world
紙図書
editors, S. Barry Cooper & Andrea SorbiImperlial College Press2011
全国の図書館
  • 著者標目Cooper, S. B. (S. Barry) Sorbi, Andrea

New computational paradigms : changing conceptions of what is computable

New computational paradigms : changing conceptions of what is computable
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringerc2010
全国の図書館
  • 著者標目Cooper, 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
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringer2008
全国の図書館
  • 著者標目Cooper, 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
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)Springerc2007
全国の図書館
  • 著者標目Conference on Computability in Europe Cooper, S. B. (S. Barry) Löwe, Benedikt Sorbi, Andrea

Complexity, logic, and recursion theory

Complexity, logic, and recursion theory
紙図書
edited by Andrea SorbiMarcel Dekkerc1997
全国の図書館
  • 著者標目Sorbi, 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)
紙図書
Springerc2007.<M17-07-1735>
国立国会図書館
  • 著者標目...öwe, Benedikt. Sorbi, Andrea, 1956- Conference on Computabi...

検索結果は以上です。

RSS