Information Technology Division Defence Science and Technology Organisation PO Box 1500, Salisbury, SA 5108, Australia;
机译:进化论视角下的非单调推理:本体论,逻辑学和认知学基础
机译:多层安全数据库的逻辑基础
机译:在5G网络中受到可信和安全的D2D辅助通信
机译:关于信任的逻辑基础,安全数字通信
机译:无线网络中的安全,可靠和可靠的通信。
机译:南伦敦和Maudsley NHS基金会信托和Oxleas NHS基金会信托处方指南第9版
机译:知识表示和常识推理:对四本书的评论Ronald J.BrachmanHector J.Levesque知识表示和推理2004Morgan Kaufmann1558609326381页RaymondReiter行动知识:指定和实现动态系统的逻辑基础2001MIT Press0262182181448页Erik T.MuellerCommons理性200320060523CaelKalymann123香客机密页数
机译:证据推理的逻辑基础(修订版)。