机译:关于双逻辑程序和霍恩演算
机译:<! “键入=”leinedraw“/> InlinemediaObject>
机译:内核机器在Hopfield网络中进行逻辑编程以解决非喇叭问题3sat
机译:线性逻辑中的Horn编程是NP完整的
机译:线性逻辑和命令式编程。
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:Petri网,Horn程序,线性逻辑和矢量游戏