开课单位--国家数学和计算机科学研究学会
1 1/1

1
Logic in Action[逻辑的行动]
  Jan van Eijck(国家数学和计算机科学研究学会) This course offers a new kind of introduction to logic, merging traditional basic themes on inference and expressive power of languages with modern de...
热度：58
1 1/1