Karol Pak

国・地域

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

機関

• University of Białystok36.3%
• Shinshu University9.4%
• Czech Technical University in Prague8.7%
• Universität Innsbruck7.5%
• Institute of Computer Science5.9%
• Yamaguchi University5.5%
• その他26.7%

分野

• Computer Science72.2%
• Mathematics15.7%
• Physics and Astronomy3.9%
• Decision Sciences2.8%
• Engineering1.8%
• Biochemistry, Genetics and Molecular Biology0.8%
• その他2.8%

トピック

• Logic, programming, and type systems28.4%
• Logic, Reasoning, and Knowledge10.9%
• Formal Methods in Verification9.9%
• Security and Verification in Computing8.8%
• Mathematics, Computing, and Information Processing5.3%
• Semantic Web and Ontologies4.4%
• その他32.3%