相关推荐

Prolog语言及其实现

  • 作者:陈肇雄
  • 出版年:1984

PROLOG语言及其在土木工程中的应用

  • 作者:郭秀玲
  • 出版社:冶金工业出版社
  • 出版年:1989

一种新型的反应

  • 作者:张玉明
  • 出版年:1997

微型机micro-PROLOG语言及其应用

  • 作者:纪有奎
  • 出版社:海洋出版社
  • 出版年:1986

基于CompCert的智能合约中间语言的可信编译

  • 作者:许颖
  • 出版社:中国科学院软件研究所
  • 出版年:2024