Equational logic as a programming language

出版社:Cambridge : MIT, c1985.
ISBN:026215028X
出版年:1985
作者:O''Donnell,Michael J.,
资源类型:图书
细分类型:西文文献
相关推荐

Foundations of equational logic programming

  • 作者:Holldobler,Steffen,
  • ISBN:038751533X
  • 出版社:Berlin ; New York : Springer-Verlag, c1989.
  • 出版年:1989

LYaPAS : a programming language for logic and coding algorithms

  • 作者:Gavrilov,Mikhail Aleksandrovich.,
  • ISBN:0122778502
  • 出版社:New York : Academic Press, 1969.
  • 出版年:1969

LYaPAS: a programming language for logic and coding algorithms

  • 作者:Gavrilov,M. A.
  • 出版社:N.Y. : Academic Press, c1969
  • 出版年:1969

P-Prolog, a parallel logic programming language

  • 作者:Yang,Rong.
  • ISBN:9971505088 CNY153.93
  • 出版社:Singapore : World Scientific, c1987.

P-Prolog, a parallel logic programming language

  • 作者:Yang,Rong.
  • ISBN:9971505088
  • 出版社:Singapore : World Scientific, c1987.

Fuzzy equational logic

  • 作者:Bělohlávek,Radim.
  • ISBN:9783540262547
  • 出版社:Berlin ; New York : Springer, c2005.
  • 出版年:2005