Inductive synthesis of functional programs : universal planning folding of finite programs and sch

出版社:Berlin ; New York : Springer, c2003.
ISBN:3540401741
出版年:2003
作者:Schmid,U.
资源类型:图书
细分类型:西文文献
相关推荐

Programs for Sryline Planning

  • 作者:Carson,W.W.
  • 出版社:[S.l.] Frest and range experiment station, c1975.
  • 出版年:1975

The planning of industrial investment programs : a methodology

  • 作者:Kendrick,David A
  • ISBN:0801821398.
  • 出版社:Baltimore : Published for the World Bank [by] Johns Hopkins University Press, c1978
  • 出版年:1978

automatic termination analysis for functional and imperative programs

  • 作者:Brauburger,Jurgen
  • ISBN:1586031139
  • 出版社:germany infix 1999
  • 出版年:1999

Basic microcomputer programs for urban analysis and planning

  • 作者:Ottensmann,John R98012
  • ISBN:0412008718
  • 出版社:New York: Chapman and Hall, c1985.
  • 出版年:1985

State planning: programs and accomplishments : Supplementing state planning report of 1935

  • 作者:United States.
  • 出版社:Washington : U.S. Govt. Print. Off., 1937.
  • 出版年:1937

Finite representations of CCS and TCSP programs by automata and Petri nets

  • 作者:Taubner,Dirk,
  • ISBN:0387515259
  • 出版社:Berlin ; New York : Springer-Verlag, c1989.
  • 出版年:1989