年龄

随年龄自动生成逻辑模型。我们描述了一个新的工具,AGES,它可以用来自动生成有序排序的一阶理论模型。该工具使用线性代数技术将有限域或无限域与不同类型相关联。然后通过基于矩阵的表达式和不等式对函数和谓词符号进行分段解释。作为生成模型的附加要求,可以指定解释二进制谓词的关系是有根据的。该系统可作为web应用程序使用。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考 2篇文章,1标准件)

显示结果1到2,共2个。
按年份排序(引用)

  1. Lucas自动一代(2019年版,自动版)
  2. 卢卡斯,萨尔瓦多:证明语义属性为一阶可满足性(2019)