检索条件： International Conference on Automated Deduction ( 任意词 )

检索结果共有90条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 International Conference on Automated Deduction (9th : 1988 : Illinois)
责任者 International Conference on Automated Deduction

出版信息 Springer-Verlag ,1988

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Automated Deduction.International Conference on Automated Deduction (9th : 1988 : Illinois).Springer-Verlag,1988.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30057;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

International Conference on Automated Deduction (9th : 1988 : Illinois)

International Conference on Automated Deduction.Springer-Verlag,1988.
2 图书 International Conference on Automated Deduction (8th : 1986 : Oxford)
责任者 International Conference on Automated Deduction

出版信息 Springer ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Automated Deduction.International Conference on Automated Deduction (8th : 1986 : Oxford).Springer,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30054;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

International Conference on Automated Deduction (8th : 1986 : Oxford)

International Conference on Automated Deduction.Springer,1986.
3 图书 Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
责任者 Voronkov, A.

出版信息 Springer, ,c2002.

ISBN 3-540-43931-5 (pbk. : alk paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Voronkov, A..Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/151058;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /

Voronkov, A..Springer,,c2002..
4 图书 Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
责任者 Nieuwenhuis, Robert.

出版信息 Springer, ,c2005.

ISBN 3-540-28005-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nieuwenhuis, Robert..Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/220574;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /

Nieuwenhuis, Robert..Springer,,c2005..
5 图书 Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
责任者 Pfenning, Frank.

出版信息 Springer, ,c2007.

ISBN 978-3-540-73594-6 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Pfenning, Frank..Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/266421;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /

Pfenning, Frank..Springer,,c2007..
6 图书 Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /
责任者 Baader, Franz.

出版信息 Springer, ,c2003.

ISBN 3-540-40559-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Baader, Franz..Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218317;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /

Baader, Franz..Springer,,c2003..
7 图书 International Conference on Assembly Automation (3rd : 1982 : Boeblingen)：proceedings of the 3rd International Conference on Assembly Automation and 14th IPA Conference, Boeblingen,1982
责任者 International Conference on Assembly Automation,IPA Conference

出版信息 IPA ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Assembly Automation,IPA Conference.International Conference on Assembly Automation (3rd : 1982 : Boeblingen)：proceedings of the 3rd International Conference on Assembly Automation and 14th IPA Conference, Boeblingen,1982.IPA,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/34020;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

International Conference on Assembly Automation (3rd : 1982 : Boeblingen)：proceedings of the 3rd International Conference on Assembly Automation and 14th IPA Conference, Boeblingen,1982

International Conference on Assembly Automation,IPA Conference.IPA,1982.
8 图书 International Conference on Automated Guided Vehicle Systems (2nd : 1983 : Germany)：Proceedings of the 2nd International Conference on Automated Guided Vehicle Systems and 16th IPA Conference
责任者 H. J. Warneeke,International Conference on Automated Guided Vehicle Systems

出版信息 IFS Ltd. ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
H. J. Warneeke,International Conference on Automated Guided Vehicle Systems.International Conference on Automated Guided Vehicle Systems (2nd : 1983 : Germany)：Proceedings of the 2nd International Conference on Automated Guided Vehicle Systems and 16th IPA Conference.IFS Ltd.,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/34054;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

International Conference on Automated Guided Vehicle Systems (2nd : 1983 : Germany)：Proceedings of the 2nd International Conference on Automated Guided Vehicle Systems and 16th IPA Conference

H. J. Warneeke,International Conference on Automated Guided Vehicle Systems.IFS Ltd.,1983.
9 图书 International Conference on Automated Guided Vehicle Systems (2nd : 1983 : Stuttgart)：IPA Conference, 16th
责任者 IPA Conference,International Conference on Automated Guided Vehicle Systems

出版信息 IFS ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IPA Conference,International Conference on Automated Guided Vehicle Systems.International Conference on Automated Guided Vehicle Systems (2nd : 1983 : Stuttgart)：IPA Conference, 16th.IFS,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/32927;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

International Conference on Automated Guided Vehicle Systems (2nd : 1983 : Stuttgart)：IPA Conference, 16th

IPA Conference,International Conference on Automated Guided Vehicle Systems.IFS,1983.
10 图书 International Conference on Logic Programming and Automated Reasoning(1992 : Russia)：Login Programming and automated reasoning
责任者 International Conference on Logic Programming and Automated Reasoning,LPAR

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Logic Programming and Automated Reasoning,LPAR.International Conference on Logic Programming and Automated Reasoning(1992 : Russia)：Login Programming and automated reasoning.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30926;jsessionid=B99DF1B794E5EB470F15A7AB99ED032C
复制引文到剪贴板

International Conference on Logic Programming and Automated Reasoning(1992 : Russia)：Login Programming and automated reasoning

International Conference on Logic Programming and Automated Reasoning,LPAR.Springer,1992.

通借成功!

预约成功!