Logic programming : First Russian Conference on Logic Programming Irkutsk Russia September 14-18

出版社:Berlin ; New York : Springer-Verlag, c1992.
ISBN:3540554602
出版年:1992
作者:Russian Conference on Logic Programming
资源类型:图书
细分类型:西文文献
相关推荐

Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proc

  • 作者:Grabowski,J.
  • ISBN:0387506675
  • 出版社:Berlin ; New York : Springer-Verlag, c1989.
  • 出版年:1989

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-

  • 作者:ILP 2003
  • ISBN:3540229418
  • 出版社:Berlin ; New York : Springer, 2004.
  • 出版年:2004

Inductive logic programming : 24th International Conference, ILP 2014, Nancy, France, September 14-1

  • 作者:ILP 2014
  • ISBN:9783319237077
  • 出版社:Cham : Springer, 2015.
  • 出版年:2015

The logic of programming

  • 作者:Hehner,Eric C. R.
  • ISBN:0135399661
  • 出版社:Englewood Cliffs, N.J. : Prentice/Hall International, c1984.
  • 出版年:1984

Logic and programming

  • 作者:Parent,Michel.
  • ISBN:0850386500
  • 出版社:London : Kogan Page, c1984.
  • 出版年:1984

The logic of programming

  • 作者:Hebner,Eric C.R.
  • 出版社:Englewood Cliffs : Prentice-Hall, c1984
  • 出版年:1984