机译:第25次研讨会逻辑,语言,信息和计算(Wollic 2018)由象征性逻辑Bogotá,哥伦比亚2018年7月24日至27日协会共同赞助
机译:希尔伯特 - 伯尼亚夏季学校逻辑和计算2017年由象征性逻辑G的协会共同赞助?Ttingen,德国2017年7月23日至29日
机译:逻辑,语言,信息和计算的第24次研讨会(2017年Wollic 2017)由象征性逻辑伦敦,英国2017年7月18日至21日的协会共同赞助
机译:计算数学,计算逻辑和符号计算
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:符号逻辑中的数字计算方法以生物化学为例
机译:符号逻辑中的数字计算方法,以生物化学为例
机译:非线性动力学符号计算方法的发展