検索
アート
地図
検索
オプション
言語:
日本語のみ
英語のみ
すべて
0 件中 1ページ目 ( 0.009 秒)
スティーブン・クック
という本を執筆している"Logical Foundations of Proof Complexity"'s official page。
クック
の主な研究領域は計算複雑性理論とTemplate:仮リンクであり、プログラム意味論、並列計算、人工知能にも関心を寄せている。 受賞歴 1977年
記事を読む
YOS INDEX について
利用規約
コンタクト