检索条件： International Conference Automated Deduction ( 任意词 )
责任者 International Conference Automated Deduction
出版信息 Springer ,1990
ISBN
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
International Conference Automated Deduction (10th : 1990 : Kaiserslautern, FRG)
International Conference Automated Deduction.Springer,1990.
责任者 Voronkov, A.
出版信息 Springer, ,c2002.
ISBN 3-540-43931-5 (pbk. : alk paper)
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
Voronkov, A..Springer,,c2002..
责任者 Design Automation Conference
出版信息 ACM ,1989
Design Automation Conference (26th : 189 : Las Vegas Convention Center)：ACM/IEEE Design automation conference 1989
Design Automation Conference.ACM,1989.
责任者 Office Automation Conference
出版信息 AFIPS ,1984
Office Automation Conference (1984 : Loe Angeles)：1984 Office Automation Conference digest
Office Automation Conference.AFIPS,1984.
出版信息 IEEE ,1991
ISBN 0-89791-395-7
Design Automation Conference (28th : 1991 : San Francisco)：ACM/IEEE Desing automation
Design Automation Conference.IEEE,1991.
出版信息 IEEE ,1990
Design Automation Conference (27th : 1990 : Orlando, Fla.)：Design Automation
Design Automation Conference.IEEE,1990.
责任者 Ira W. Cotton,Office Automation Conference
出版信息 American Federation of Information Processing Societies ,1980
Office Automation Conference (1980 : Atlanta, Georgia)：1980 Office Automation Conference digest
Ira W. Cotton,Office Automation Conference.American Federation of Information Processing Societies,1980.
出版信息 IEEE ,1988
Design Automation Conference (25th : 1988)：ACM/IEEE Design automation conference
Design Automation Conference.IEEE,1988.
责任者 ACM/IEEE,Design Automation Conference
出版信息 IEEE ,1987
Design Automation Conference (24th : 1987)：ACM/IEEE Design automation conference
ACM/IEEE,Design Automation Conference.IEEE,1987.
出版信息 IEEE ,1986
Design Automation Conference (23rd : 1986)：ACM/IEEE Design automation conference
ACM/IEEE,Design Automation Conference.IEEE,1986.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
