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 Theories of Planetary Motions

  • 作者:Dziobek,O.
  • 出版社:Ann Arbor : The Register Publishing Company, 1892.,New York: Dover Publications,Inc, 1962.
  • 出版年:1962

Mathematical theories, models and groups

  • 作者:Grecho,Marcus J.
  • ISBN:9781613242506
  • 出版社:New York : Nova Science Publishers, 2012.
  • 出版年:2012

Mathematical Foundations of Gauge Theories

  • 作者:Marathe,K. B.
  • ISBN:0444897089
  • 出版社:Pergamon 1992c
  • 出版年:1992

Mathematical theories of optimization : proceedings of the

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