形式化方法论文

语境的形式研究
一、语境的形式化研究（论文文献综述）吴戈[1]（2021）在《人工智能视域下语义问题研究》文中研究表明1956年达特茅斯召开的计算机科学会议标志着人工智能的诞生,在人工智能的前...
接收方不可否认签名技术研究
一、收方不可否认签名技术的研究（论文文献综述）韩志耕,石青山,杨鹏,陈耿,范远哲[1]（2022）在《不可否认协议分析的扩展ZQZ逻辑方法》文中进行了进一步梳理不可否认协议必须...
陈以翔教授与计算语义模型研究
一、陈仪香教授与计算语义模型研究（论文文献综述）温晋杰[1]（2020）在《空天运输遥操作系统净评估与可信度认定研究》文中研究说明为了统筹经济建设与国防建设协同发展,我国提出了...