检索条件： International Conference on Automated Deduction ( 著者 )
责任者 International Conference on Automated Deduction
出版信息 Springer-Verlag ,1988
ISBN
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
International Conference on Automated Deduction (9th : 1988 : Illinois)
International Conference on Automated Deduction.Springer-Verlag,1988.
出版信息 Springer ,1986
International Conference on Automated Deduction (8th : 1986 : Oxford)
International Conference on Automated Deduction.Springer,1986.
责任者 Pfenning, Frank.
出版信息 Springer, ,c2007.
ISBN 978-3-540-73594-6 (pbk.)
Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
Pfenning, Frank..Springer,,c2007..
责任者 Nieuwenhuis, Robert.
出版信息 Springer, ,c2005.
ISBN 3-540-28005-7
Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
Nieuwenhuis, Robert..Springer,,c2005..
责任者 Baader, Franz.
出版信息 Springer, ,c2003.
ISBN 3-540-40559-3
Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /
Baader, Franz..Springer,,c2003..
责任者 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..
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
