检索条件： LPAR ( 著者 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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
复制引文到剪贴板

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.
2 图书 Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
责任者 Nieuwenhuis, Robert.,Voronkov, A.

出版信息 Springer, ,2001.

ISBN 3-540-42957-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nieuwenhuis, Robert.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/151246
复制引文到剪贴板

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /

Nieuwenhuis, Robert.,Voronkov, A..Springer,,2001..
3 图书 Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /
责任者 Dershowitz, Nachum.,Voronkov, A.

出版信息 Springer, ,c2007.

ISBN 978-3-540-75558-6 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dershowitz, Nachum.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/264746
复制引文到剪贴板

Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /

Dershowitz, Nachum.,Voronkov, A..Springer,,c2007..
4 图书 Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /
责任者 Sutcliffe, Geoff.,Voronkov, A.

出版信息 Springer, ,c2005.

ISBN 3-540-30553-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sutcliffe, Geoff.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/223136
复制引文到剪贴板

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /

Sutcliffe, Geoff.,Voronkov, A..Springer,,c2005..
5 图书 Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
责任者 Vardi, Moshe Y.,Voronkov, A.

出版信息 Springer, ,c2003.

ISBN 3-540-20101-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Vardi, Moshe Y.,Voronkov, A..Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/216750
复制引文到剪贴板

Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /

Vardi, Moshe Y.,Voronkov, A..Springer,,c2003..
6 图书 Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
责任者 Baas, Matthias.,Voronkov, A.

出版信息 Springer, ,2002.

ISBN 3-540-00010-0 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Baas, Matthias.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/163525
复制引文到剪贴板

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /

Baas, Matthias.,Voronkov, A..Springer,,2002..
7 图书 Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
责任者 Cervesato, Iliano.,Veith, Helmut.,Voronkov, A.

出版信息 Springer, ,c2008.

ISBN 9783540894384 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cervesato, Iliano.,Veith, Helmut.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292750
复制引文到剪贴板

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /

Cervesato, Iliano.,Veith, Helmut.,Voronkov, A..Springer,,c2008..
8 图书 Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
责任者 Hermann,Miki,Voronkov, A.,(eds.), Andrei Voronkov.

出版信息 Springer, ,c2005.

ISBN 3-540-48281-4 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hermann,Miki,Voronkov, A.,(eds.), Andrei Voronkov..Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/241283
复制引文到剪贴板

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /

Hermann,Miki,Voronkov, A.,(eds.), Andrei Voronkov..Springer,,c2005..

通借成功!

预约成功!