Conditional and typed rewriting systems : 2nd International CTRS Workshop Montreal Canada June 11

出版社:Berlin ; New York : Springer-Verlag, c1991.
ISBN:3540543171
出版年:1991
作者:International CTRS Workshop
资源类型:图书
细分类型:西文文献
相关推荐

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, Ju

  • 作者:Dershowitz,Nachum
  • ISBN:3540603816
  • 出版社:Berlin ; London : Springer, 1995.
  • 出版年:1995

Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France

  • 作者:Rusinowitch,M.
  • ISBN:3540563938
  • 出版社:Berlin ; New York : Springer-Verlag, 1993.
  • 出版年:1993

2008 2nd Annual IEEE Systems Conference : Montreal, QC, Canada, 7-10 April 2008

  • 作者:IEEE Systems Conference
  • ISBN:9781424421497
  • 出版社:Piscataway, N.J. : IEEE, c2008.
  • 出版年:2008

International Conference on the Aviation Weather System(2nd:1985:Montreal,P.Q.,Canada)

  • 作者:American Meteorological Society.
  • 出版社:Boston,Mass: AMS, 1985.
  • 出版年:1985

International Conference on the Aviation Weather System(2nd:1985:Montreal,P.Q.,Canada)

  • 作者:American Meteorological Society.
  • ISBN:CNY 0.00
  • 出版社:Boston,Mass: AMS, 1985.
  • 出版年:1985

The 16th IEEE International Workshop on Rapid Systems Prototyping : RSP 2005, Montreal, Canada, June

  • 作者:IEEE International Workshop on Rapid System Prototyping
  • ISBN:0769523617
  • 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2005.
  • 出版年:2005