检索条件： Studies in automatic programming logic ( 题名 )

检索结果共有25条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Studies in automatic programming logic
责任者 Z. Manna,R. Waldinger

出版信息 North-Holland ,1977

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Z. Manna,R. Waldinger.Studies in automatic programming logic.North-Holland,1977.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Studies in automatic programming logic

Z. Manna,R. Waldinger.North-Holland,1977.
2 图书 Logic programming : operational semantics and proof theory /
责任者

出版信息

ISBN 0-521-60754-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Logic programming : operational semantics and proof theory /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic programming : operational semantics and proof theory /

.,.
3 图书 Computational logic : logic programming and beyond :
责任者

出版信息

ISBN 3-540-43959-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Computational logic : logic programming and beyond :.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic : logic programming and beyond :

.,.
4 图书 Computational logic : logic programming and beyond :
责任者

出版信息

ISBN 3-540-43960-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Computational logic : logic programming and beyond :.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic : logic programming and beyond :

.,.
5 图书 Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
责任者

出版信息

ISBN 9783540894384 (pbk.)

馆藏信息

图书信息

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

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 /

.,.
6 图书 Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
责任者

出版信息

ISBN 2002036467

馆藏信息

图书信息

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

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 /

.,.
7 图书 Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /
责任者

出版信息

ISBN 2007937099

馆藏信息

图书信息

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

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 /

.,.
8 图书 Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
责任者

出版信息

ISBN 2003061048

馆藏信息

图书信息

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

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 /

.,.
9 图书 Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
责任者

出版信息

ISBN 2005936393

馆藏信息

图书信息

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

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 /

.,.
10 图书 Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /
责任者

出版信息

ISBN 2005936393

馆藏信息

图书信息

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

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 /

.,.

通借成功!

预约成功!