Presburger arithmetic

网络释义

1.	斯博格算术这个结构被称为布利斯博格算术（Presburger Arithmetic）。对于这个结构，我们可以判定哪些属性成立、哪些属性不成立。 book.51cto.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。