KARBYSHEV Aleksandr について
Aarhus Univ. について
BJORNER Nikolaj について
Microsoft Res. について
ITZHAKY Shachar について
Massachusetts Inst. of Technol. について
RINETZKY Noam について
Tel Aviv Univ. について
SHOHAM Sharon について
Tel Aviv Univ. について
Journal of the ACM (Association for Computing Machinery) について
定理証明 について
可到達性 について
グラフ理論 について
計算理論 について
アルゴリズム について
一階論理 について
人工知能推論 について
データ構造 について
逐次近似 について
十分条件 について
停止問題 について
命題論理 について
評価試験 について
反復法 について
計算理論 について
グラフ理論基礎 について
人工知能 について
不変量 について
型推論 について
証明 について