检索条件： International Conference on Logic Programming ( 著者 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 International Conference on Logic Programming(8th ; 1991 : Paris)：Logic Programming
责任者 International Conference on Logic Programming

出版信息 MIT ,1991

ISBN

馆藏信息

图书信息

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

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

International Conference on Logic Programming(8th ; 1991 : Paris)：Logic Programming

International Conference on Logic Programming.MIT,1991.
2 图书 International Conference on Logic Programming(7th : 1990 : Jerusal)：Logic programming
责任者 International Conference on Logic Programming

出版信息 MTT ,1990

ISBN

馆藏信息

图书信息

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

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

International Conference on Logic Programming(7th : 1990 : Jerusal)：Logic programming

International Conference on Logic Programming.MTT,1990.
3 图书 International Conference on Logic Programming(3rd : 1986 : London)：proceedings
责任者 International Conference on Logic Programming

出版信息 Springer ,1986

ISBN

馆藏信息

图书信息

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

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

International Conference on Logic Programming(3rd : 1986 : London)：proceedings

International Conference on Logic Programming.Springer,1986.
4 图书 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.
5 图书 Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings /
责任者 Palamidessi, Catuscia.

出版信息 Springer, ,c2003.

ISBN 3-540-20642-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Palamidessi, Catuscia..Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings /

Palamidessi, Catuscia..Springer,,c2003..
6 图书 Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings /
责任者 Dahl, Veronica,,Niemel?, Ilkka,

出版信息 Springer, ,c2007.

ISBN 978-3-540-74608-9 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dahl, Veronica,,Niemel?, Ilkka,.Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings /

Dahl, Veronica,,Niemel?, Ilkka,.Springer,,c2007..
7 图书 Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings /
责任者 Gabbrielli, Maurizio.,Gupta, Gopal.

出版信息 Springer, ,c2005.

ISBN 3-540-29208-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gabbrielli, Maurizio.,Gupta, Gopal..Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings /

Gabbrielli, Maurizio.,Gupta, Gopal..Springer,,c2005..
8 图书 Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 : proceedings /
责任者 Banda, Maria Garcia de la.,Pontelli, Enrico.

出版信息 Springer, ,c2008.

ISBN 9783540899815

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Banda, Maria Garcia de la.,Pontelli, Enrico..Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 : proceedings /

Banda, Maria Garcia de la.,Pontelli, Enrico..Springer,,c2008..

通借成功!

预约成功!