5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

5th Conference on Automated Deduction Les Arcs France July 8-11 1980

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

ISBN：0387100091

出版年：1980

作者：Conference on Automated Deduction

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

5th Annual Structure in Complexity Theory Conference : July 8-11, 1990, Universitat Politècnica de

作者：Structure in Complexity Theory Conference
ISBN：0818660724
出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1990.
出版年：1990

5th Annual Structure in Complexity Theory Conference : July 8-11, 1990, Universitat Politecnica de C

作者：Annual Structure in Complexity Theory Conference
ISBN：0818620722
出版社：Los Alamitos, Calif. : IEEE Computer Society, c1990
出版年：1990

5th Annual Structure in Complexity Theory Conference : July 8-11, 1990, Universitat Politecnica de C

作者：Annual Structure in Complexity Theory Conference
ISBN：0818620722 30.00
出版社：Los Alamitos, Calif. : IEEE Computer Society, c1990
出版年：1990

Artificial general intelligence : 5th international conference, AGI 2012, Oxford, UK, December 8-11,

作者：AGI 2012
ISBN：9783642355059
出版社：Berlin ; New York : Springer, c2012.
出版年：2012

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Spring

作者：Kapur,D.
ISBN：3540556028
出版社：Berlin ; New York : Springer-Verlag, 1992.
出版年：1992

IEEE 1986 Region 5th Conference, Apr. 8-11, 1986, Lafayette, Louisiana : proceedings.

作者：Institute of Electrical and Electronics Engineers.
出版社：New York : IEEE, c1986.
出版年：1986