...
机译:整体论,语言习得和代数逻辑
Department of Philosophy Tel Aviv University;
机译:在标记的双树根语言上:代数,自动机和逻辑
机译:逻辑与代数相遇:常规语言
机译:Logikey Workbench:语言,逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:标记双叉树语言的代数,自动机和逻辑
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:基于isabelle / HOL(代数,语言,算法和计算)的自动推理系统