6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

6th Conference on Automated Deduction New York USA June 7-9 1982

出版社：Berlin ; New York : Springer-Verlag, 1982.

ISBN：3540115587

出版年：1982

作者：Conference on Automated Deduction

资源类型：图书

细分类型：西文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Proceedings of the 38th Annual Conference of the SAWE, New York, May 7-9, 1979.

作者：Society of Allied Weight Engineers,Inc.
出版社：Los Angeles : The Society, 1979.
出版年：1979

Transactions vacuum metallurgy conference : Proceedings of 6th annual conference,New York,June 17-18

出版社：Boston : American Vacuum Society, 1964.
出版年：1964

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : procee

作者：International Conference on Automated Deduction
ISBN：0387960228
出版社：Berlin ; New York : Springer-Verlag, 1984.
出版年：1984

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proc

作者：Lusk,E.
ISBN：038719343X
出版社：Berlin ; New York : Springer-Verlag, 1988.
出版年：1988

6th International Conference on Concentrating Photovoltaic Systems : CPV-6, Freiburg, Germany, 7-9 A

作者：International Conference on Concentrating Photovoltaic Systems
ISBN：9780735408272
出版社：Melville, N.Y. : American Institute of Physics, 2010.
出版年：2010

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick,

作者：McRobbie,M.A.
ISBN：3540615113
出版社：Berlin ; New York : Springer, c1996.
出版年：1996