• Advances in applications of logical dynamic systems

    闫永义, 岳菊梅著
  • 出版社/出版年:中国水利水电出版社/2019.10
  • ISBN/定价：978-7-5170-7987-3/CNY59.80
  • 载体形态项：216页 24cm
  • 个人责任者：闫永义
  • 学科主题：动态逻辑
  • 中图法分类号：O141.2