検索結果 - Cook, Stephen, 1948-

スティーブン・クック

2008年 スティーブン・アーサー・クック（''Stephen Arthur. Cook'', 1939年12月14日 - ）は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面やの研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。 Wikipediaによる
  • 検索結果 1 - 1 結果 / 1
結果の絞り込み
  1. 1
    表紙画像

    Perspectives in logic logical foundations of proof complexity / 著者: Cook, Stephen, 1948-

    出版事項 2010
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook

    お気に入りに追加
    保存先:

検索ツール: