来源：BV伟德官方网站 时间：2022-10-26 点击数：
主 题：时序逻辑及其量化
主讲人：李永明教授（陕西师范大学）
学科领域：模糊数学与模糊系统
时 间：2022年10月29日（周六）10:00
地 点：腾讯会议ID: 241 705 396
Copyright © BV伟德体育官方网站-始于英国1946 版权所有 电话：0596-2591441 传真：0596-2527931 公司党委信箱：msdstydzzh@163.com
