Jump to main content

yr 〜
yr

Search results 6

情報科学のための論理分析テクニック

情報科学のための論理分析テクニック
Paper図書
戸田誠之助 著培風館2007.6<MA41-H49>
National Diet LibraryOther Libraries in Japan
  • Author Heading戸田, 誠之助, 1959-

離散的な計算問題の計算量解析

離散的な計算問題の計算量解析
Paper図書
戸田誠之助, 日本大学 [著][戸田誠之助]2001-2003<Y151-H13640139>
National Diet Library
  • Author Heading戸田, 誠之助, 1959- 日本大学

グラフ同型性判定問題 (日本大学文理学部叢書 ; 2)

グラフ同型性判定問題 (日本大学文理学部叢書 ; 2)
Paper図書
戸田誠之助 著日本大学文理学部2001.11<MA41-G86>
National Diet LibraryOther Libraries in Japan
  • Author Heading戸田, 誠之助, 1959-

無向グラフ到達可能性判定問題の領域計算量

無向グラフ到達可能性判定問題の領域計算量
Paper図書
戸田, 誠之助, 日本大学1997-1998<Y151-H09640296>
National Diet Library
  • Author Heading戸田, 誠之助, 1959-

Computational complexity of counting complexity classes

Computational complexity of counting complexity classes
PaperDigital博士論文障害者向け資料あり
戸田誠之助 [著]<UT51-92-N177>
Available onlineNational Diet Library
  • Author Heading戸田, 誠之助, 1959-

計算の理論 (情報数学講座 ; 第4巻)

計算の理論 (情報数学講座 ; 第4巻)
PaperDigital図書
笠井琢美, 戸田誠之助 著共立出版1993.6<MA41-E75>
National Diet LibraryOther Libraries in Japan
  • Author Heading笠井, 琢美, 1946- 戸田, 誠之助, 1959-

Reached to the end of result.

RSS