Automated development of fundamental mathematical theories

出版社:Dordrecht ; Boston : Kluwer Academic, c1992.
ISBN:0792320212
出版年:1992
作者:Quaife,Art.
资源类型:图书
细分类型:西文文献
相关推荐

Fundamental theories in physics; [proceedings]

  • 作者:Orbis Scientiae,
  • ISBN:0306369052
  • 出版社:New York, Plenum Press 1974.
  • 出版年:1974

Fundamental methods of mathematical economics

  • 作者:Chiang,Alpha C.,
  • ISBN:0070107807
  • 出版社:New York, McGraw-Hill [1974]
  • 出版年:1974

Mathematical structure of theories of viscoleasticity

  • 作者:Gross,B.
  • 出版社:Paris : Hermann, 1953.
  • 出版年:1953

Mathematical theories of optimization : proceedings of the

  • 作者:Cecconi,Jaures P.
  • ISBN:038711999X
  • 出版社:Berlin : Springer, 1983.
  • 出版年:1983

Mathematical Theories of Planetary Motions

  • 作者:Dziobek,O.
  • ISBN:CNY
  • 出版社:New York: Dover Publications,Inc, 1962.
  • 出版年:1962

Mathematical structure of theories of viscoleasticity

  • 作者:Gross,B.
  • ISBN:¥5.64
  • 出版社:Paris : Hermann, 1953.
  • 出版年:1953