REDLOG--First-Order Logic for the Masses (特集 Quantifier Elimination)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本数式処理学会の論文
• 2003-08-01

著者

• Seidl Andress

  University Of Passau Germany

• DOLZMANN Andreas

  University of Passau, Germany

• Dolzmann Andreas

  University Of Passau Germany

• Seidl Andreas

  University of Passau, Germany

関連論文

• REDLOG--First-Order Logic for the Masses (特集 Quantifier Elimination)

スポンサーリンク