Logical foundations of functional programming

出版社:Reading : Addison-Wesley Pub. Co., 1990.
ISBN:0201172348 13.50
出版年:1990
作者:Huet,Gerard.
资源类型:图书
细分类型:西文文献
相关推荐

Logical foundations of functional programming

  • 作者:Huet,Gerard.
  • ISBN:0201172348
  • 出版社:Reading : Addison-Wesley Pub. Co., 1990.
  • 出版年:1990

The logical foundations of mathematics

  • 作者:Hatcher,William S.
  • ISBN:008025800X
  • 出版社:Oxford ; New York : Pergamon Press, 1982.
  • 出版年:1982

Logical foundations of probability.:

  • 作者:Carnap,Rudolf,
  • 出版社:Chicago : University of Chicago Press, 1950.
  • 出版年:1950

Logical foundations of proof complexity

  • 作者:Cook,Stephen,
  • ISBN:9780521517294
  • 出版社:Ithaca, NY : Association for Symbolic Logic ; New York, NY : Cambridge University Press, 2010.
  • 出版年:2010

Duration Calculus :Logical Foundations

  • 作者:R.Hansen
  • 出版社:中国科学院
  • 出版年:1997

The logical foundations of statistical inference

  • 作者:Kyburg,Henry Ely,
  • ISBN:9027703302
  • 出版社:Dordrecht ; Boston : Reidel, 1974.
  • 出版年:1974