Gil Lederman

国・地域

このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。

機関

• Tsinghua University15.7%
• Google (United States)14.8%
• University of Toronto9.3%
• Vector Institute6.5%
• University of Notre Dame5.6%
• Université Toulouse III - Paul Sabatier5.6%
• その他42.6%

分野

• Computer Science84.9%
• Engineering9.4%
• Business, Management and Accounting1.9%
• Psychology1.9%
• Social Sciences1.9%

トピック

• Formal Methods in Verification10.1%
• Natural Language Processing Techniques10.1%
• Constraint Satisfaction and Optimization10.1%
• Topic Modeling8.9%
• Logic, programming, and type systems7.6%
• Software Engineering Research6.3%
• その他46.8%