最終更新日：2023/09/03
Presburger arithmetic is a decision procedure for the first-order theory of the natural numbers with addition.
正解を見る
Presburger arithmetic is a decision procedure for the first-order theory of the natural numbers with addition.
編集履歴（0）
